Revision of the real numbers, via Q2 of the 2018/2019 summer exam. (work done on overheads in class, no slides)