n!=\sqrt{2\pi n}\left(\frac ne\right)^n