Power Series Expansion for Secant Function

Theorem
The (real) secant function has a Taylor series expansion:

where $E_{2 n}$ denotes the Euler numbers.

This converges for $\size x < \dfrac \pi 2$.