(1) a,b,c∈Rに対して、
  (a^5+b^5+c^5)^2 ≧ 3abc(a^7+b^7+c^7).
(2) x,y,z>0, xyz=1に対して、
  (x^10+y^10+z^10)^2 ≧ 3(x^13+y^13+z^13).