f_n → f a.e., |f_n| ≤ g integrable ⟹ ∫ f_n → ∫ f and ∫ |f_n − f| → 0. Lebesgue's theorem; interchange limit/integral.