>>586
コーシー・シュワルツなら
(1+1+1)(a^2+b^2+c^2)≧a+b+cから出るぞ