Since we know the local -oscillation estimate holds in every local region, in a log scale in , not necessarily in the shrinked region ,
|
|
|
Since is convex, a local -bound implies a local -bound in a slightly shrinked region, so in the log scale,
|
|
|
Likewise for . By definition the local potentials differ by
|
|
|
Notice that for a given point on , the log scales on and around have a nontrivial percentage of overlapping measure. Thus
|
|
|
∎