Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2023/prelims/mathematics-ii/6/b/iii/solution

By the mean value theorem, for all real . Thus is a contraction mapping on the complete metric space . Starting from arbitrary , define . Induction gives . For , the triangle inequality and a geometric series yield
Hence is a Cauchy sequence and completeness of the real numbers supplies a limit . The Lipschitz continuity of implies . Thus the limit is a fixed point, independently of the initial value. If were another, would force . This proves the contraction mapping theorem in this setting, with error estimate

New to topics? Read the docs here!