〔問題〕
自然数nに対して

(1) C[2n,n] = (2n)! / (n!)^2 ≧ 4^n / (2√n),

(2) C[3n,n] = (3n)! / {n!・(2n)!} ≧ (27/4)^n ・4/(9√n),

等号成立は n=1

>>512 >>513
Janos Suranyi の不等式と云うらしい…