>>533 >>534

〔補題〕
1≦n≦3,A〜C≧0 のとき
 (A^n + B^n + C^n)^2 ≧ (AB+BC+CA) {A^(2n-2)+B^(2n-2)+C^(2n-2)} ≧ 3ABC {A^(2n-3)+B^(2n-3)+C^(2n-3)},

右側はチェビシェフなど。