Lemma 61.11.3. Let $j : U \to X$ be a separated étale morphism of quasi-compact and quasi-separated schemes. Let $\Lambda$ be a torsion coefficient ring. The functor $Rj^! : D(X_{\acute{e}tale}, \Lambda ) \to D(U_{\acute{e}tale}, \Lambda )$ is equal to $j^{-1}$.

Proof. This is true because both $Rj^!$ and $j^{-1}$ are right adjoints to $Rj_! = j_!$. See for example Lemmas 61.11.2 and 61.6.2. $\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).