higher bound for the

function at an integer

is a float value✕