higher bound for the
function is always upper
most ___