higher bound for the
function in interval proof
step✕ ___
↺ Reset