Sean $x,y,z$ y $a,b,c$ números reales positivos con $a+b+c=1$ . Pruebe que $$\left(x^2+y^2+z^2\right) \left( \frac{a^3}{x^2+2y^2} + \frac{b^3}{y^2+2z^2} + \frac{c^3}{z^2+2x^2} \right) \ge\frac19.$$