>>744

　0<x<π/2　とする。
相加-相乗平均により
　cos(x) + cos(x) + 1/{cos(x)}^2 = 3 + {1+2cos(x)}{1-cos(x)}^2/cos(x)^2 ≧ 3,
これを x で積分する。(0〜θ)