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.