Fatou's lemma