Sufficiency of r = m for proper convergence of candidate sequences
Establish whether, for a smooth contraction f: I → I with fixed point L and derivative m = |f'(L)| in (0,1), choosing r = m is sufficient to ensure that the sequence c_n = |L − f^{(n)}(t_0)| / r^n converges to a finite positive limit for all initial values t_0 ∈ I \ {L}.
References
"Although r = m is necessary for c_n to have a finite positive limit, it is not obvious whether it is sufficient. On the other hand, we have not discovered an example demonstrating that r=m is not sufficient for convergence of c_n to a finite positive limit."
                — Currie's Mysterious Pattern and Iterated Functions
                
                (2509.21409 - Kalman, 24 Sep 2025) in Section "Iterated Function Basics" (following Equation (convbnds1))