higher bound for the
function is always equal
a ___