No decrease of generality, assumex≤y≤z
Set t=x+y+z
From the assumptions, applied inequality Cauchy, we have:
7=x+yz+z(1x+1y)+xy+yx≥2√xyz+2z√xy+2
So that:
2√xy≥z→x+y≥z
⇒(x+y−z)(y+z−x)(z+x−y)≥0
⇔x3+y2+z3≤∑xy(x+y)−2xyz
Assumptions rewritten as:
(x+y+z)(xy+yz+zx)=10xyz
→ We have:
∑xy(x+y)=7xyz
and:
∏(x+y)=9xyz
So that:
x3+y3+z3≤∑xy(x+y)−2xyz=5xyz
We always have:
x3+y3+z3+3∏(x+y)=(x+y+z)3
→x3+y3+z3≤59∏(x+y)≤532t3
and:
xy+yz+zx=10xyzx+y+z≥516.x3+y3+z3+3∏(x+y)t=516t2
So:
P≤485t2−1285t3=f(t)
We have:
f′(t)=96(4−t)5t4
Tabulation of change of f(t) we get f(t)≤f(4)=15
→P≤15 at x=y=1;z=2./