Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ii/paper-2/27h/solution

For a nonnegative measurable , define
Each takes only finitely many values, its level sets are measurable, and pointwise. Thus measurable nonnegative functions are pointwise limits of simple functions.
If is integrable, the same functions satisfy and converge pointwise. The dominated convergence theorem gives
They are integrable because they are bounded above by .
If , instead set
This has finitely many values and
everywhere, so uniformly.

New to topics? Read the docs here!