Teoria Fatorial

O fatorial de um natural $n$ pode ser definido também através da fórmula de recursão:

$\begin{cases}
n! = n \cdot (n-1)! \\
0! = 1
\end{cases}$

Ela se apresenta útil para simplificar expressões algébricas com fatorial.