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