Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-1/26j/b/solution

Let be Borel measurable and converge pointwise to the finite real value . For every real ,
If , choose a rational strictly between them; convergence puts eventually. Conversely eventual strict inequality implies . The right side belongs to by its countable union/intersection operations. Since these half-lines generate the Borel sigma-algebra, is a Borel measurable function.

New to topics? Read the docs here!