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