Series Expansion for Pi over Root 2

Theorem

 * $\ds \frac \pi {\sqrt 2} = \sum_{r \mathop = 1}^\infty \paren {-1}^{r - 1} \frac {r - \frac 1 2} {r^2 - r + \frac 3 {16} }$