■1000!は10^250より大きいか? (その23)
10!で300万を超えるから、100!、1000!はどれくらい巨大な数になるのだろうか?
===================================
1/2+7/(8logn)<(log(n!)-nlogn+n)/logn<1/2+1/logn
7/8<log{n!/n^1/2・(n/e)^n<1
exp(7/8)/sqr(2π)<n!/sqr(2nπ)・(n/e)^n<exp(1)//sqr(2π)
.957<n!/sqr(2nπ)・(n/e)^n<1.084
===================================
スターリングの公式
n→∞のとき、n!/sqr(2nπ)・(n/e)^n→1
===================================