If you define , starting with chosen , then . Use induction to prove that .

That isn't quite enough to show that this is a Cauchy sequence. For a Cauchy sequence, you need to show that goes to 0 as n and m both go to infinity independently. Use the fact that, for n> m, , etc.

To prove uniqueness, suppose that f(x)= x and f(y)= y. Then