Proving $\underset{n\to \infty }{\text{lim}}\frac{n!}{n^{n+\frac{1}{2}} \ e^{-n}}=\sqrt{2 \pi }$ This question is the last part of a problem leading to proof of Stirling's approximation. I've already proved that $\underset{n\to \infty }{\text{lim}}\frac{n!}{n^{n+\frac{1}{2}} \ e^{-n}}$ exists and that $\underset{n\to \infty }{\text{lim}}\frac{2^{4 n} (n!)^4}{((2 n)!)^2 \ (2 n+1)}=\frac{\pi }{2}$.
Hence, the question asks to assume $\underset{n\to \infty }{\text{lim}}\frac{n!}{n^{n+\frac{1}{2}} \ e^{-n}}$ exists, and then asks to use $\underset{n\to \infty }{\text{lim}}\frac{2^{4 n} (n!)^4}{((2 n)!)^2 \ (2 n+1)}=\frac{\pi }{2}$ to show $\underset{n\to \infty }{\text{lim}}\frac{n!}{n^{n+\frac{1}{2}} \ e^{-n}}=\sqrt{2 \pi }$.
My attempt goes like this:
Since $\sqrt{x}$ is continuous, we can use $\sqrt{\underset{n\to \infty }{\text{lim}}f(n)}=\underset{n\to \
\infty }{\text{lim}}\sqrt{f(n)}$ to get $\underset{n\to \infty }{\text{lim}}\frac{2^{2 n} (n!)^2}{(2 n)! \
\sqrt{2 n+1}}=\sqrt{\frac{\pi }{2}}$.
Then we can eliminate $2^{2 n}n!$ to get $$\frac{2^{2 n} (n!)^2}{\sqrt{1+2 n} (2 n)!}=\frac{n!}{\sqrt{1+2 n} \left(n-\frac{1}{2}\right) \left(n-\frac{3}{2}\right) \cdots  \
\frac{3}{2}\frac{1}{2}}$$
Then factor out $n^n$ and adjust $\sqrt{1+2n}$ to get $$\frac{2^{2 n} (n!)^2}{\sqrt{1+2 n} (2 n)!}=\frac{n!}{n^{n+\frac{1}{2}} \sqrt{2+\frac{1}{n}} \left(1-\frac{1}{2n}\right) \left(1-\frac{3}{2n}\right) \cdots  \
\frac{3}{2n}\frac{1}{2n}}$$
The $\sqrt{2+\frac{1}{n}}$ factor will give a $\sqrt{2}$, so the remaining $\prod _k^n \left(1-\frac{2 k-1}{2 n}\right)$ must somehow relate to $\sqrt{2} e^{-n}$.
However, I'm not sure how to do this.

I didn't use the given limit, but Stirling's approximation can solve this in one shot. You can rewrite the given limit as:
$$L = \lim_{n \to \infty}\frac{n!}{\left( \frac ne\right)^n \sqrt n}$$
Then, by stirling's approximation $n! = \sqrt{2\pi n}\ \left( \frac ne \right)^n + O(\frac{1}{n})$, the limit becomes
$$L = \frac{\sqrt{2\pi} \cdot n!}{n!} = \sqrt{2\pi}$$
