Comment by housecarpenter

What do you mean by "the use of the Least Upper Bound"?