Collecting the shifted terms gives a second-order difference equation with coefficients , and . Substitute to obtain its characteristic equation of a linear recurrence:
For real , the roots and general solution are
In the small-step regime, indeed for , the polynomial is positive at , negative at and positive for sufficiently large positive . Thus . The bounded solution of a second-order constant-coefficient recurrence discards the growing root, and fixes its remaining coefficient:
The Taylor series establishes the displayed approximation to the root. Raising that approximation to the th power is a leading approximation, rather than a uniform relative approximation for arbitrarily large : its relative error is controlled when is small. For completeness, the degenerate values give when , and when .