I stumbled upon this somewhere but didn't know how to prove it.

$\displaystyle \lim_{x\to\infty}\frac{e^x \cdot x!}{\sqrt{x} \cdot x^x}= \sqrt{2\pi}$

Anyone have any ideas why this is the case or how to derive it? I suspect it has something to do with the gamma function.