pointwise convergence in $\sigma$-algebra
Problem: Prove that the set of points at which a sequence of measurable real functions converges is a measurable set. (I believe the problem means functions from the reals to the reals.)
Source: W. Rudin, Real and Complex Analysis, Chapter 1, exercise 5.
I have posted a proposed solution in the answers.