106.07 A function-based proof of the harmonic mean − geometric mean − arithmetic mean inequalities. Issue 565 (March 2022)