Factorial/Examples/5

From ProofWiki
Jump to navigation Jump to search

Example of Factorial

$5! = 120$


Proof

\(\ds 5!\) \(=\) \(\ds 5 \times 4 \times 3 \times 2 \times 1\) Definition 2 of Factorial
\(\ds \) \(=\) \(\ds 5 \times 4!\) Definition 1 of Factorial
\(\ds \) \(=\) \(\ds 5 \times 24\) Factorial of $4$
\(\ds \) \(=\) \(\ds 120\)

$\blacksquare$


Sources