Weierstrass elementary factors inequality
From specialfunctionswiki
Theorem
The following formula holds for $|z| \leq 1$: $$\left| 1-E_n(z) \right| \leq \left| z \right|^{n+1},$$ where $E_n$ denotes a Weierstrass elementary factor.
