higher bound for the

function value a float float✕