higher bound for the

function value a float bound✕