Here's the problem statement:

I have no problem showing that . It can also be shown that , in case that helps. However, I cannot show that the inequalityIf for some , and every set of positive measure in has measure at least , show that for all , with .

holds. Any help would therefore be much appreciated !

(This is exercise 1.3.12 from this book, p41.)