On a finite [measure space](/page/Measure%20Space), stronger integrability implies weaker integrability: every Lq function also belongs to Lp when p is less than q. The theorem gives the sharp dependence of the Lp norm on the total measure and the Lq norm.