1.3 Using the result obtained in Exercise 1.2, give an alternative proof for the Picard-Lindelöf theorem (Theorem 1.7).
Exercise 1.2:
Let (X, d) be a complete metric space and let F: X -> X be such that F^N: X -> X is a contraction for some positive integer N. Show that F has a unique fixed point u in X and that for each x in X, lim(n->∞) F^n(x) = u.