higher bound for the
function value a float bound
___