Interval example 2.1.4