Let f be a non-negative integrable function over a set E.Prove that for any ,there exists a set X E such that and
Let where where that is if and otherwise. For all , for all and a.e. in then by the dominated convergence theorem we have then for any there exists an such that if then (because for all and the monotony of the integral) .