[noqc]

>the use of the of Least Upper Bound is much simpler and clearer

Uh, least upper bound of what? most subsets of Q have no extrema in Q.