>>453 の weighted AM-GM というのは
 p,q,x,y>0, p+q=1 ⇒ x^p・y^q ≦ px + qy,