Definition:Factorial/Definition 2

Definition
Let $n \in \Z_{\ge 0}$ be a positive integer.

The factorial of $n$ is defined as:

where $\ds \prod$ denotes product notation.

Also see

 * Equivalence of Definitions of Factorial