higher bound for the
function in interval proof
edit it ___