Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-1/23h/a/i/solution

Since and both measures are finite, the Radon--Nikodym theorem supplies a measurable such that
for every measurable . Moreover,
so is finite -almost everywhere and is -integrable. The reverse absolute continuity implies -almost everywhere: if on , then , hence .

New to topics? Read the docs here!