Gamma Function Extends Factorial

Theorem
For any $n \in \N\cup \{0\}$, we have:
 * $\Gamma(n+1) = n!$

Proof
We have:

This shows the result for $n = 0$.

Now by Gamma Difference Equation, $\Gamma$ satisfies precisely the recursive definition of the factorial function.