Natural numbers/Factorial/Definition

Factorial

For a natural number ${}n$, one puts

${}n!:=n(n-1)(n-2)\cdots 3\cdot 2\cdot 1\,,$

and calls this ${}n$ factorial.