I just realised that Hoffman's result is a geometric version of the 3-variable case of the AM-GM inequality. I’m sure that was very obvious to some of you! \[ \frac{a+b+c}3 \ge \sqrt[3]{abc} \] iff \[ (a+b+c)^3 \ge 27abc \] for positive real a, b, c.