As we worked out earlier, satisfies a linear recurrence with characteristic polynomial . By the quadratic formula, this factors as where is the golden ratio, and . The main theorem implies that there are constants and such that