Suppose that i.e the image has more than one point.

In the usual topology there are twodisjoint opensets

Because is open in the co-finite topology then its complement is finite.

That means that maps all but a finite collection of points into .

What is wrong with that picture?

If that is a contradiction, what does it prove?