For the Fort space topology, let be a sequence in X, such that the set of the sequence, , is infinite.

Using the definition of convergence in topological space, prove that has a subsequence which converges to p.

I'm struggling to make the transition from a sequence to a subsequence here.

I thought about writing and . B is infinite and , so is a T-neighbourhood of p, and there is an , such that, for all .