Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Let the global maximum of be achieved at , and denote the local potential of as . Without loss of generality . We have since . Applying the mean value inequality around , we find that the local average function produced in Lemma 2.2 satisfies for another uniform constant . By the convexity of its sup is almost achieved at the boundary of the chart, which is contained in a union of less deep strata with . Thus we can find a point with that belongs to a less deep stratum; an induction shows that there is some , such that .
For the -bound we recall the following Harnack inequality argument. Suppose a coordinate ball is contained in a local chart in a small neighbourhood of .
Applying the mean value inequality to the local psh function associated to , we see for that
|
|
|
hence the Harnack inequality
|
|
|
Applying this to a chain of balls connecting any two points in gives the -bound ; the bound is uniform because the number of balls involved in the chain can be controlled independent of .
∎