Cotangent coefficient proof of the even zeta values

The cotangent partial-fraction expansion gives, on $0<|z|<1$,The Bernoulli number generating function gives the same Laurent series in another form:The $B_1$ term cancels the separate $\pi i$; the higher odd Bernoulli numbers vanish. Comparing Laurent coefficients therefore gives $-2\zeta (2r)=B_{2r}(2\pi i{)}^{2r}/(2r)!$, which is the stated real formula because $i^{2r}=(-1{)}^r$. The cotangent partial-fraction expansion justifies the convergent expansion before the coefficient comparison; a finite plot of partial sums alone would not prove the infinite identity.