ScalingStacks

Proof. [021H]

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.

Choose Φ⁡(t)=t2+1\Phi(t)=\sqrt{t^{2}+1} and observe that ∫MeF​F2+1​𝑑v​o​lg\int_{M}e^{F}\sqrt{F^{2}+1}dvol_{g} is controlled in terms of an upper bound of ∫MeF​F​𝑑v​o​lg\int_{M}e^{F}Fdvol_{g}. Then the result follows from Theorem 5.2 and Corollary 5.2. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.