If f(n)→∞, then for each k the complement of f−1(Ik) contains only finitely many indices. Thus every nonempty open tail has a cofinite preimage, and the empty set has empty preimage. Hence f is continuous from the cofinite space to the tail-topologyspace.