Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2004/d/d3/solution

The monotone convergence theorem says that if almost everywhere on a measure space, then , allowing infinity. The dominated convergence theorem says that if almost everywhere and for an integrable , then is integrable and .
For , the truncated functions increase to . Each has the elementary integral . Thus monotone convergence gives
For fixed , eventually and , so . Inside the support the supplied inequality yields . Outside the support . Consequently the global bound is
and this majorant is integrable by the already proved formula with . Dominated convergence now gives . The majorant is independent of , including on the moving support.

New to topics? Read the docs here!