Lemma 32.16.2. Notation and assumptions as in Situation 32.8.1. If

1. $f$ is a quasi-finite morphism, and

2. $f_0$ is locally of finite type,

then there exists an $i \geq 0$ such that $f_ i$ is quasi-finite.

Proof. Follows immediately from Lemma 32.16.1. $\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).