ScalingStacks

Proof. Since the function $\bar{\phi}$ is an average of psh functions, it is psh as a $T^{n}$-invariant function on $\text{Log}_{t}^{-1}(U)$. Such functions correspond to convex functions downstairs. ∎