Some computational aspects of metric fixed-point theory

We show how bounds on asymptotic regularity for nonexpansive functions can effectively be converted into certain bounds on the convergence towards a fixed point.