Leibniz formula for pi (source code)

= Leibniz formula for π
{c}
{wiki}

The Leibniz formula is the conditionally convergent alternating series
$$
\frac\pi4=\sum_{r=0}^{\infty}\frac{(-1)^r}{2r+1}.
$$