2
$\begingroup$

In my asymptotic analysis and combinatorics class I was asked this question:

We first remember the definition f the Gamma function $ \Gamma(n+1) = n! = \int_{0}^{\infty} t^{n} e^{-t} dt $ and using this definition we are to prove Stirling's approximation formula for very large n

$ n! \sim (\frac{n}{e})^n \sqrt{2 \pi n} $

I realize the idea is to show the limit at $ n \to \infty $ of the quotient is 1 but since n is discrete then l'Hopital's rule is gone out the window and I do not see how to use the Gamma function definition to derive this even after giving it some thought so I am asking here in the hope of finding help. Thanks to all helpers.

$\endgroup$
3
$\begingroup$

Note that the Gamma Function has the integral representation

$$\Gamma(z+1)=\int_0^\infty t^ze^{-t}\,dt \tag 1$$

for $\text{Re}(z)>0$.

Enforcing the substitution $t=zs$ yields

$$\begin{align} \Gamma(z+1)&=z^{z+1}\int_0^\infty t^ze^{-zt}\,dt \\\\ &=z^{z+1}\int_0^\infty e^{z(\log(t)-t)}\,dt \tag 2 \end{align}$$

Using Laplace's Method in $(2)$ with $M=z$ and $f(t)=\log(t)-t$, we obtain

$$\begin{align} \Gamma(z+1)&\sim \sqrt{\frac{2\pi}{z}}e^{-z}z^{z+1}\\\\ &=\sqrt{2\pi z}\left(\frac{z}{e}\right)^z \tag 3 \end{align}$$

Finally, setting $z=n$ in $(3)$ yields

$$\bbox[5px,border:2px solid #C0A000]{\Gamma(n+1)=n!\sim \sqrt{2\pi n}\left(\frac ne\right)^n}$$

as was to be shown!

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.