4 - The least upper bound propertyLecture notes by Daniel Farlow to accompany Lecture 4 from Francis Su's YouTube video series