关于n！的位数的问题

首先引入Stirling公式：$n!\approx\sqrt{2\pi n}(\frac{n}{e})^n$
证明：
$a_n=\frac{n!e^n}{n^{n+\frac{1}{2}}}$，先证$a_n$存在极限：夹逼原理。
$\frac{a_n}{a_{n+1}}=\frac{\frac{n!e^n}{n^{n+\frac{1}{2}}}}{\frac{(n+1)!e^{n+1}}{(n+1)^{n+1+\frac{1}{2}}}}=(1+\frac{1}{n})^{n+\frac{1}{2}}\frac{1}{e}>1$
故有：$a_n>a_{n+1}$,由$a_n>0$,故$a_n$存在极限。
求取极限，利用wallis公式：

应用：$1000!$的位数
$1000!$的位数，即求取$lg1000!$的大小。
$lgn!\approx lg(\sqrt{2\pi n}(\frac{n}{e})^n)=\frac{1}{2}lg2\pi+\frac{1}{2}lgn+nlgn-nlge$,将1000带入有。
$lg1000!\approx \frac{1}{2}lg2\pi+\frac{3}{2}+3000-1000lge$
又$lge=0.4342944819,lg(2\pi)=0.7981798684$
故结果为：$lg1000!\approx 2567.604608$,故结果为2568位。