For a second-order recurrence $a_n = c_1 a_{n-1} + c_2 a_{n-2}$ with distinct real characteristic roots $r_1$ and $r_2$, which condition is SUFFICIENT to guarantee that $a_n \to 0$ as $n \to \infty$ for ANY initial conditions $a_0$ and $a_1$?