Definition:Factorial

Let $$n \in \N$$.

Then the factorial of $$n$$ is defined as:
 * $$n! = \begin{cases}

1 & : n = 0 \\ n \left({n - 1}\right)! & : n > 0 \end{cases}$$

That is:
 * $$n! = \displaystyle \prod_{k=1}^n k = 1 \times 2 \times \cdots \times \left({n-1}\right) \times n$$.

The first few factorials are:

...etc.

Historical Note
The symbol used here, which is now universal, was introduced by Christian Kramp in his 1808 work Elémens d'arithmétique universelle.

Before that, various symbols were used whose existence is now of less importance. For example, Gauss used $$\Pi \left({n}\right)$$ for $$n!$$.

Of major importance, however, is the Gamma function, which is an extension of the concept of the factorial to the complex plane.