不等式への招待 第10章

262 ：１３２人目の素数さん：2019/11/18(月) 15:47:33 ID:W9Q6monY.net

〔補題〕
　(1)　(1 +1/n)^(n+1/2) は単調減少でeに収束
　(2)　n! < n^(n+1/2) / e^(n-1),
　(3)　(2n)! / n! < (√2)(4n/e)^n,

(1)は一般化二項公式を使うらしい。