higher bound is less
on ___