>>181 (1)
　n≧6　⇒　√{7(n+1)}･Ｃ(n,[n/2]) > 2^(n+1)
をnに関する帰納法で示しまつ。
n=6 のとき 7Ｃ[6,3] = 7･20 = 140 > 128 = 2^(6+1) で成り立つ。
n=7 のとき √(56)･Ｃ[7,3] > 7.4･35 = 259 > 256 = 2^(7+1) で成り立つ。
n=2m-1 のとき成り立てば、
　Ｃ(2m,m) = (2m)!/(m!)^2 = 2*(2m-1)!/{(m-1)!m!} = 2Ｃ(2m-1,m-1)
　Ｃ(2m+1,m) = (2m+1)!/{m!(m+1)!} = 4{(2m+1)/(2m+2)}･Ｃ(2m-1,m-1) > 4√{2m/(2m+2)}･Ｃ(2m-1,m-1)　←(*)
より n=2m,2m+1 のときも成り立つ。(終)

(*) (2m+1)^2 = 2m(2m+2) +1 > 2m(2m+2) ゆえ {(2m+1)/(2m+2)}^2 > 2m/(2m+2).

なお、左辺は右辺 2^(n+1) の 140/128倍を超えない。