Es gilt
$$0 \leq |f_n(x)-f_{n+1}(x)|=|f_n(x)-f(f_n(x))| \leq g(f_n(x))-g(f_{n+1}(x))$$
Daher ist die Folge \((g(f_n(x)))\) monoton fallend. Da sie nach u nten durch 0 beschränkt ist, konvergiert sie.
Zur Cauchy-Folge:
$$|f_{n+k}(x)-f_n(x)|=\left|\sum_{i=n}^{n+k-1}f_{i+1}(x)-f_i(x) \right | \leq \sum_{i=1}^{n+k-1}(g(f_i(x))-g(f_{i+1}(x)))\\\quad =g(f_n(x))-g(f_{n+k}(x))$$
Wegen der Kovnergenz von \((g(f_n(x)))\) geht dies gegen 0 frü \( n \to \infty\). Also ist \((f_n(x))\) eine Cauchy-Folge, also konvergent - gegen einen Fixpunkt.