The Stacks project

Proof. Recall that a morphism is a monomorphism if and only if the diagonal is an isomorphism. The morphism $X_0 \to X_0 \times _{Y_0} X_0$ is locally of finite presentation by Morphisms of Spaces, Lemma 67.28.10. Since $X_0 \times _{Y_0} X_0$ is quasi-compact and quasi-separated we conclude from Lemma 70.6.10 that $\Delta _ i : X_ i \to X_ i \times _{Y_ i} X_ i$ is an isomorphism for some $i \geq 0$. For this $i$ the morphism $f_ i$ is a monomorphism. $\square$