higher bound for the
function less a ___