Interval arithmetik, estimateCodim