Arithmetic mean-geometric mean inequality