(略証)
{aa(b+c) + 2 + 2} / (a+1+1)^3
 ≧ 1/ {(1+1+1)[a/(b+c) + 1/2 + 1/2)]}  (← コーシー)
 = (b+c) / {3(a+b+c)},
巡回的にたす。