Real Analysis, Lecture 4: The Least Upper Bound Property