Consider the problem of proving that, for any positive numbers x, y and z,

$${\rm{9 (}}{{\rm{x}}^{\rm{3}}}{\rm{ + }}{{\rm{y}}^{\rm{3}}}{\rm{ + }}{{\rm{z}}^{\rm{3}}}{\rm{) }} \ge {\rm{ (x + y + z}}{{\rm{)}}^{\rm{3}}}{\rm{ }}{\rm{.}}$$

This is an example of a type of inequality that frequently occurs in Olympiad-style problems, [1]. These problems may involve symmetric functions of more or fewer variables than the three used here. However, three variables are commonly used and appear to give appropriately difficult problems without making excessive computational demands.