higher bound for the

function is always equal