Rates of Convergence of Recursively Defined Sequences

The paper also gives an example result, an application of proof mining to fixed point theory, that can be achieved by the means discussed in the paper.