Lemma 37.74.5. Let $f : X \to Y$ be a locally quasi-finite morphism with $X$ quasi-compact. Let $w : X \to \mathbf{Z}$ be a weighting of $f$. Then $\int _ f w$ attains its maximum.

Proof. It follows from Lemma 37.74.1 and Properties, Lemma 28.2.7 that $w$ only takes a finite number of values on $X$. It follows from Morphisms, Lemma 29.56.9 that $X \to Y$ has bounded geometric fibres. This shows that $\int _ f w$ is bounded. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).