n!=\sqrt{2\pi}\,n^{n+\frac 1 2}\,e^{-n+\frac {\theta_n} {12n}}.