Let $f_{n}$ be positive measurable functions that converge pointwise to $f$ and such that $ \int f = \lim \int f_{n} < \infty$ Prove that for any measurable set $E$, we have $ \int f = \lim \int f_{n}$ if both integrals are taken over the set $E$.
Any ideas? thanks