higher bound is less
in ___