Let be two measurable functions on a measurable space , and let be a non-negative measure on . Then, for any ,

Some alternative proofs can be found here.

Without loss of generality, we assume that , and (the general case can be handled using the inequality ). For , define Then, Using Hölder’s inequality for the second term, we can bound as follows: Hence, This completes the proof.