Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2008-printed-variant/e/e4/b/ii/solution

If no were contained in , the sets would be nonempty, nested and compact, since each is closed in . Part (i) would supply a point in , belonging to every but not to , a contradiction. Thus some , and nesting gives the same containment for every later index.

New to topics? Read the docs here!