higher bound for the

function in interval proof