arithmetic-geometric mean inequality