# Category:Factorials

This category contains results about Factorials.
Definitions specific to this category can be found in Definitions/Factorials.

The factorial of $n$ is defined inductively as:

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

## Subcategories

This category has the following 16 subcategories, out of 16 total.