Let . This is a closed (and therefore compact) subset of . It is covered by the sets , which are open in . By compactness there is a finite subcover, and since the sets form an increasing nest, there is in fact just one of them, say , that contains . It follows by taking complements that . Thus .