(Egorov's theorem (1911), [41]) Let $(\Omega, \mathcal{A}, \mu)$ be a finite measure space and let $f_{1}, f_{2}, \ldots$ be measurable functions that converge to some $f$ almost everywhere. Show that, for every $\varepsilon>0$, there is a set $A \in \mathcal{A}$ with $\mu(\Omega \backslash A)<\varepsilon$ and $\sup _{\omega \in A}\left|f_{n}(\omega)-f(\omega)\right| \stackrel{n \rightarrow \infty}{\longrightarrow} 0$