Lecture 4: The Characterization of the Real Numbers | MIT OpenCourseWare | Podwise