higher bound for the

function at an integer

constant is upper✕