Young's inequality, refinement, integral