Stirling's Formula/Proof 2/Lemma 5

Theorem

 * $\dfrac {n!} {n^n \sqrt n e^{-n} } \to \sqrt {2 \pi}$ as $n \to \infty$

Proof
By previous work done in Stirling's Formula: Proof 2 it is noted that $\sequence {\dfrac {n!} {n^n \sqrt n e^{-n} } }_{n \mathop \in \N}$ is a convergent sequence.

Let $\dfrac {n!} {n^n \sqrt n e^{-n} } \to C$ as $n \to \infty$.

Let $\ds I_n = \int_0^{\frac \pi 2} \sin^n x \rd x$.

Then:

From Lemma 4:
 * $\ds \lim_{n \mathop \to \infty} \frac {I_{2 n} } {I_{2 n + 1} } = 1$

from which:

Hence the result.