Least upper bound axiom

Summary