Lemma 36.12.6. Let $f : X \to Y$ be a finite morphism of schemes such that $f_*\mathcal{O}_ X$ is pseudo-coherent as an $\mathcal{O}_ Y$-module1. Let $E \in D_\mathit{QCoh}(\mathcal{O}_ X)$. Then $E$ is $m$-pseudo-coherent if and only if $Rf_*E$ is $m$-pseudo-coherent.

Proof. This is a translation of More on Algebra, Lemma 15.64.11 into the language of schemes. To do the translation, use Lemmas 36.3.5 and 36.10.2. $\square$

[1] This means that $f$ is pseudo-coherent, see More on Morphisms, Lemma 37.57.8.

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).