ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11001 on R2588: Weak Stirling formula
F11001
Formulation 0
Then \begin{equation} n \log n \overset{n \to \infty}{\sim} \log n! \end{equation}