The Stacks project

Proof. Let $0 \in I$. Note that $I$ is nonempty as the limit is directed. As $X_0$ is quasi-compact we can find finitely many affine opens $U_1, \ldots , U_ n \subset S$ such that $X_0 \to S$ maps into $U_1 \cup \ldots \cup U_ n$. Denote $h_ i : X_ i \to S$ the structure morphism. It suffices to check that for some $i \geq 0$ the morphisms $h_ i^{-1}(U_ j) \to U_ j$ are separated for $j = 1, \ldots , n$. Since $S$ is quasi-separated the morphisms $U_ j \to S$ are quasi-compact. Hence $h_ i^{-1}(U_ j)$ is quasi-compact and quasi-separated. In this way we reduce to the case $S$ affine. In this case we have to show that $X_ i$ is separated and we know that $X$ is separated. Thus the lemma follows from Lemma 32.4.14. $\square$