I've been trying to prove that a set S is infinite if any only if there is a proper subset S' and a bijection .

Assuming the bijection exists, it's pretty clear that S cannot be finite, and it was easy to prove this. But I'm not having much luck going the other direction:

Assuming S is not finite, prove there exists with a bijection .

Any tips?