Building the Reals - The Least Upper Bound (or Completeness) Property Axiom

In this lecture we define the final axiom to complete the reals. Which is that every nonempty set of real numbers with an upper bound, has a least upper bound. The implications are staggering