\lim_{n \to \infty} {n!} = {\sqrt{2 \pi n} ({n \over e})^n}