higher bound for the

function of a float able