$x, y, z$ son reales positivos cuyo producto no es menor que su suma. Pruebe la desigualdad: $\sqrt{2x^2+yz}+\sqrt{2y^2+zx}+\sqrt{2z^2+xy} \geq 9$