Suppose that $f_n$ is a sequence of measurable functions that are all bounded by M, supported on a set E of finite measure, and $f_n(x)\to f(x)$ a.e. x as $n\to \infty$. Then f is measurable, bounded, supported on E for a.e. x, and $\int |f_n-f|\to 0 $ as $n\to\infty$
At here, I understand the restriction of E to be finite measure is because we need to use Egorov theroem. But what is the reason to assume $f_n$ to be bounded? I check the Egorov theorem, it does not require the squence that converge to $f$ to be bounded in order to find a smaller set differs from E by $\epsilon$ and converges uniformly to $f$ on that set.