Bekanntermaßen ist das geometrische Mittel von n Zahlen (hier n=3) kleiner oder (maximal) gleich dem arithmetischen Mittel dieser Zahlen.
Aus 9 = x + y + z folgt 3=(x+y+z)/3.
Dann kann auch \( \sqrt[3]{xyz} \) maximal 3 sein und xyz maximal 27 sein.
Das wird mit x=y=z=3 tatsächlich erreicht.