ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F12311 on R2588: Weak Stirling formula
F12311
Formulation 1
Then \begin{equation} \lim_{n \to \infty, \, n > 1} \frac{n \log n}{\log n !} = 1 \end{equation}