higher bound less than