higher bound for the
function value a float float
float function a ___