higher bound for the

function value a float float

float function float float✕