An asymptotic sequence orders the scales against which successive errors are compared. On a specified domain approaching , suppose each is nonzero sufficiently close to the limit andEquivalently, in little o notation. The notationmeans that for every ,Each stays fixed while the parameter tends to its limit.[ref]
2.1 Definitions and Elementary Properties. NIST Digital Library of Mathematical Functions, §2.1(v), generalized asymptotic scales and expansions
As , is an asymptotic sequence, because each adjacent ratio is . Fractional scales work too, with ratio . By contrast, fails at its first pair: the second scale is not smaller than the first. Ordering by written position alone does not create a hierarchy of sizes.
Successive division of the remainder by uniquely recovers every coefficient:If two proposed expansions first differ at order , subtracting them and dividing by would give a nonzero constant tending to zero, a contradiction. This is uniqueness of the coefficients in a fixed scale, not uniqueness of the represented function.
For the factorial integral example, the first three limiting responses are , , and . They extract exactly the coefficients . Choosing an asymptotic sequence therefore turns “the next small correction” into a precise and reusable operation.
New to topics? Read the docs here!