I'm somewhat stuck with the simple proof of the following:

Let the (Lebesgue-)measure of some be finite and .

Then for all it is also true that , whereby

;

for set .

Proof: If , then , where N ist a large enough null set.

If , then the Hölder inequality should help, but I'm somewhat confused by the suitable choice of exponents.