Young inequality; convex function; arithmetic-geometric mean inequality