higher bound for the
function in order ins ___