Proposition. Let $f$ be a bounded measurable function on $[0,1]$. Then there is a sequence of $C^\infty$ functions which converges to $f$ almost everywhere.

Proof (by flyswatter). Take the convolution of $f$ with a sequence of standard mollifiers.

Proof (by nuke). By Carleson's theorem the Fourier series of $f$ is such a sequence.