Stirling's Formula

Theorem
The factorial function can be approximated by the formula:
 * $n! \sim \sqrt {2 \pi n} \left({\dfrac n e}\right)^n$

where $\sim$ denotes asymptotically equal.

Also known as
It is otherwise known as Stirling's approximation.