  Young's integral inequality is complemented with an upper bound to the
remainder. The new inequality turns out to be equivalent to Young's inequality,
and the cases in which the equality holds become particularly transparent in
the new formulation.
