arithmetic-logarithmic-geometric mean inequality