Moving to the second part of the theorem, we in fact have [sup A, inf B] = E. We leave the verification of this claim as an exercise. If we also assume (In) 0, then the conclusion of Exercise 1.16 (ii) must hold. Hence sup A = inf B and thus E contains exactly one element