0556132人目の素数さん垢版2018/05/07(月) 23:55:33.94ID:LPTyY7qu 〔問題〕 自然数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 の不等式と云うらしい…