higher bound for the

function is the same function