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 $\left|{x}\right| < \dfrac \pi 2$.