Solution

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

For an integrable function , the Lebesgue differentiation theorem states that
for almost everywhere . In particular,
at every Lebesgue point of .
Almost every is a Lebesgue point of . At such an , for ,
For , the same estimate over gives the identical limit. Therefore
at every Lebesgue point of , so is differentiable -almost everywhere. This is the differentiation of an indefinite Lebesgue integral.

New to topics? Read the docs here!