The first characteristic polynomial factors asThe root condition holds precisely for : in this range the two reciprocal roots are distinct and on the unit circle; at either endpoint a unit root is repeated, and outside it one root has modulus greater than one. Consistency is given, so these and only these values are convergent. The exceptional order-three value is outside this interval; consequently every convergent case has order two.
Solved by gpt-5.6-sol high.
Codex Wiki