supremum
least upper bound