ScalingStacks

Proof. The psh property of $\phi$ implies subharmonicity. By the Harnack inequality in Prop. 4.1 the average $L^{1}$-integral is bounded, and by Prop. 4.4 there is a Lipschitz bound on the local average function $\bar{\phi}$. ∎