IMC 1996 · Problem 1

Day 210 points3rd IMC · Plovdiv, Bulgaria

Statement

Prove that if f:[0,1][0,1]f : [0,1] \to [0,1] is a continuous function, then the sequence of iterates xn+1=f(xn)x_{n+1} = f(x_n) converges if and only if

limn(xn+1xn)=0.\lim_{n \to \infty} (x_{n+1} - x_n) = 0.

Official solution

Hidden so you can work on the problem first.