x^yy^zz^x\geq y^xz^yx^z