higher bound for the
function is upper ___