Category:Factorials

The factorial of $n$ is defined inductively as:
$n! = \begin{cases} 1 & : n = 0 \\ n \left({n - 1}\right)! & : n > 0 \end{cases}$