higher bound for the
function in interval math
lib ___