Least-upper-bound principle

Summary