 Conditional Fatou lemma

For nonnegative random variables $X_n$ and a sigma-algebra $\mathcal{G}$,almost surely. It follows from the ordinary Fatou lemma after testing both sides on every event in $\mathcal{G}$.