Convergence of $x_n = \cos (x_{n-1})$ I define the sequence $x_n = \cos (x_{n-1}), \forall n > 0$.
For which starting value of $x_0 \in \mathbb{R}$ does the sequence converge?
 A: Wikipedia article Fixed-point iteration says:
The fixed-point iteration $x_{n+1}=\cos x_n$ converges to the unique fixed point of the function $f(x)=\cos x$ for any starting point $x_0$. This example does satisfy the hypotheses of the Banach fixed point theorem. Hence, the error after $n$ steps satisfies $|x_n-x_0| \leq { q^n \over 1-q } | x_1 - x_0 | = C q^n$ (where we can take $q = 0.85$, if we start from $x_0=1$.) When the error is less than a multiple of $q^n$ for some constant $q$, we say that we have linear convergence. The Banach fixed-point theorem allows one to obtain fixed-point iterations with linear convergence. 
A: This is just Banach's fixed point theorem, and it is appliable since
$$\forall\,x_1\,,\,x_2\in\Bbb R\,\,\,,\,\,\,|\cos x_1-\cos x_2|\stackrel{\text{M.V.T. for}\,\cos x}=|\sin c|\,|x_1-x_2|\leq |x_1-x_2|$$
for some $\,c\in\,(x_1\,,\,x_2)\,$
A: For any $x_0$, you must have $x_n \in [-1,1]$, for all $n>0$. Since $|\sin x| \leq \delta < 1$ for all $x \in [-1,1]$, we have that $\cos$ is a contraction, hence it has a unique fixed point on $[-1,1]$, and the sequence $x_n$ converges to this fixed point.
