Factorial/Examples/0

From ProofWiki
Jump to navigation Jump to search

Example of Factorial

The factorial of $0$ is $1$:

$0! = 1$


Proof

From the definition of factorial:

$n! = \ds \prod_{k \mathop = 1}^n k$

where $\prod$ denotes continued product.

When $n = 0$ we have:

$0! = \ds \prod_{k \mathop = 1}^0 k$

Hence the result, by definition of vacuous product.

$\blacksquare$


Sources