higher bound is less