>>275
右辺を以下の様にするとどうでしょう？
n=4の時は >>136と一致します。

【改題】
[一般化]
　n 個の実数 x_k >0 が 農[k:1->n] (x_k)^2 = 1 を満たすとき、

　( 農[k:1->n] x_k - 1)( 農[k:1->n] 1/x_k + 1) ≧ (n-1)^2

を示せ。