Arithmetic-logarithmic-geometric mean inequality