For x=2,y=3 and z=6 the equality holds.
After the substitutions x=2−u,y=3−v with u∈[0,2),v∈[0,3), we obtain that z=6+u+v and the required inequality becomes
(2−u)(3−v)(6+u+v)⩽36
We shall need the following lemma.
Lemma. If real numbers a and b satisfy the relations 0<a≤b and y≥0.
The equality in (2) holds if y=0. The lemma is proved.
By using the lemma we can write the following inequalities:
6+u6⩾22−u6+v6⩾33−v6+u+v6+u⩾6+v6
By multiplying the inequalities (3), (4) and (5) we obtain:
(6+u)(6+v)(6+u+v)6⋅6⋅(6+u)⩾2⋅3(6+v)6(2−u)(3−v)⇔(2−u)(3−v)(6+u+v)⩽2⋅3⋅6=36⇔(1)
By virtue of lemma, the equality holds if and only if u=v=0.
Alternative solution. With the same substitutions write the inequality as
(6−u−v)(6+u+v)+(uv−2u−v)(6+u+v)≤36
As the first product on the lefthand side is 36−(u+v)2≤36, it is enough to prove that the second product is nonpositive. This comes easily from ∣u−1∣≤1, ∣v−2∣≤2 and uv−2u−v=(u−1)(v−2)−2, which implies uv−v−2u≤0.
## Geometry