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.
in-context