higher bound for the
function less or equal less
___