>>79
つ 凸不等式(Jensen)

 f(x) = sin(πx)/x とおく。
 f(x) = Π[k=1,∞) {1-(x/k)^2} より、上に凸(無限乗積表示)。

 (左辺) - (右辺) = sin(2π/n) + sin{2π/(n+2)} -2sin{2π/(n+1)}
   = (n/2)・f(2/n) + ((n+2)/2)f(2/(n+2)) - (n+1)f(2/(n+1)) < 0.