首先引入Stirling公式:
n!≈2πn−−−√(ne)n
证明:
an=n!ennn+12
,先证
an
存在极限:夹逼原理。
anan+1=n!ennn+12(n+1)!en+1(n+1)n+1+12=(1+1n)n+121e>1
故有:
an>an+1
,由
an>0
,故
an
存在极限。
求取极限,利用wallis公式:
应用:
1000!
的位数
1000!
的位数,即求取
lg1000!
的大小。
lgn!≈lg(2πn−−−√(ne)n)=12lg2π+12lgn+nlgn−nlge
,将1000带入有。
lg1000!≈12lg2π+32+3000−1000lge
又
lge=0.4342944819,lg(2π)=0.7981798684
故结果为:
lg1000!≈2567.604608
,故结果为2568位。