■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

===================================