generalized power mean inequality, refinement of the arithmetic-geometric inequality