higher bound for the

function a float able float