>>782
(1/n!)∫[t=2n,∞] (t^n) e^(-t)dt
 = e^(-2n) Σ[k=0,n] (2n)^k / k!
 〜 √(2/πn) (2/e)^n,
スターリングを使わずに示すのは
簡単とは思えないが・・・・