The factorial of a non-negative integer , denoted by , is the product of all positive integers less than or equal to .

The factorial of also equals the product of with the next smaller factorial:

Example:

The value of is defined as (empty product convention).

https://en.wikipedia.org/wiki/Factorial

useful for calculating total number of distinct combinations (3 letter code) 3!.