Lecture 2: The real numbers