ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F12310 on R3: Stirling formula
F12310
Formulation 4
Then \begin{equation} \lim_{n \to \infty} \frac{n !}{\left( \frac{n}{e} \right)^n \sqrt{2 \pi n}} = 1 \end{equation}