Least-Upper-Bound