Any solution to a linear recurrence relation is exponentially bounded by the root(s) of the characteristic polynomial.