Theorem 1.3.4 (nested interval property) has the subset symbol backwards. The set shrinks as ```n``` grows, so ```I_{n+1} \subseteq I_n``` 