Let where is open. Prove that if then all but a finite number of terms of must be contained in .
As Moo said that is literally the definition of . If this is a metric space and that is not how it's defined, merely note that since there exists some such that . But, by definition there exists some such that