Approximate in by continuous . The limsup local oscillation of is bounded by the maximal function of plus the vanishing oscillation of . The weak Hardy-Littlewood maximal inequality makes the exceptional set have measure at most ; let the approximation error tend to zero.
Solved by gpt-5.6-sol high.
Codex Wiki