Definition 3.2.5. Factorial. For any natural number n, \begin{equation*} n! = n(n-1)(n-2) ... 3 \cdot 2 \cdot 1 \end{equation*} and by convention set 0! = 1.