Abel's Limit Theorem

This entry mechanises Abel's limit theorem on power series with real coefficients. The theorem also holds for complex numbers, but this entry has not covered it yet. An application example of this theorem is also presented in this entry to extend the generalised binomial theorem for a specific example from $(-1,1)$ to its boundary cases $-1$ and $1$.