higher bound for the

function at an integer

is integer plus✕