1 - Construction of the rational numbersLecture notes by Daniel Farlow to accompany Lecture 1 from Francis Su's YouTube video series