Least upper bound

Summary