Abel's theorem: Let ∑n=0∞an\sum_{n=0}^\infty a_n be a of real or , with sum ss. For 0≤x<10\le x<1, define

f(x)=∑n=0∞anxn.f(x)=\sum_{n=0}^\infty a_n x^n.

Then f(x)f(x) is well-defined for every 0≤x<10\le x<1, and

lim⁡x→1−f(x)=s.\lim_{x\to 1^-} f(x)=s.
Remarks

This connects ordinary with boundary behavior of and complements radius-of-convergence results such as the .