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
Lemma 4.6.
Let be a subharmonic function on equipped with the Euclidean metric , where . Let be the averaging function of over the fibres. Assume and a Lipschitz bound , then on we have
.