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