Thus, the proof is completed.
The function f (x)=a0 + a1x + a2x2 + ... + anxn + ...
is called the generating function for the sequence {a0,a1,a2,...}.
Generating functions provide a powerful tool for solving linear recurrence relations with constant coefficients.
It is well known that [7],
the generating function of the Fibonacci sequence {Fn}n≥o is
provide a powerful tool