n!\sim \sqrt{2 \pi n} \left(\frac{n}{e}\right)^n, n\to \infty