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