Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ii/paper-4/23f/d/solution

Use the centered Hardy-Littlewood maximal function
If , choosing makes the whole interval lie in the positive half-line, so . If , every centered interval has exactly half its length in the positive half-line, so .
If , the average is zero for . For , it is
and these values tend to as . Hence
For the uncentered maximal-function convention, intervals extending arbitrarily far to the right make the supremum equal to at every .

New to topics? Read the docs here!