We need to obtain upper bound on . Consider and .
Let be a parameter to be fixed, so . The function has an a priori Lipschitz estimate on , so the oscillation of on is less than by choosing small enough.
Now we apply the mean value inequality to the psh function on a ball in the local covering space of , which projects to via . We have
|
|
|
hence
|
|
|
But on the ball , except on a subset of the ball with -percentage , on which we use the coarser bound
.
Combining these,
|
|
|
by choosing sufficiently small depending on .
∎