higher bound for the

function at an integer