(Interval Min Fn SCALAR) returns an interval of the same type as SCALAR whose minimum value is the minimum value of SCALAR and whose maximum value is plus infinity. For example, (Interval Min Fn (mile 3)) is the same as `the interval from three miles to an infinite number of miles', in other words, `at least three miles'.