# Leibniz formula for π

*See List of things named after Gottfried Leibniz for other formulas known under the same name.*

In mathematics, the **Leibniz formula for π**, named after Gottfried Leibniz, states that

Using summation notation:

## Names

The infinite series above has also been called the Leibniz series or Gregory–Leibniz series (after the work of James Gregory) but those two names also refer to a more general series expansion for the inverse tangent function, known as Gregory's series, which was discovered independently and earlier in India by Madhava of Sangamagrama:

The Leibniz formula for π may be obtained by plugging *x* = 1 into this inverse-tangent series.^{[1]}

It also is the Dirichlet L-series of the non-principal Dirichlet character of modulus 4 evaluated at s=1, and therefore the value β(1) of the Dirichlet beta function.

## Proof

Considering only the integral in the last line, we have:

Therefore, as *n* → ∞ we are left with the Leibniz series:

for a more detailed proof, together with the original geometric proof by Leibniz himself, see Leibniz's Formula for Pi ^{[2]}

## Inefficiency

Template:Comparison pi infinite series.svg
Leibniz's formula converges extremely slowly: it exhibits sublinear convergence. Calculating π to 10 *correct* decimal places using direct summation of the series requires about five billion terms because for .

However, the Leibniz formula can be used to calculate π to high precision (hundreds of digits or more) using various convergence acceleration techniques. For example, the Shanks transformation, Euler transform or Van Wijngaarden transformation, which are general methods for alternating series, can be applied effectively to the partial sums of the Leibniz series. Further, combining terms pairwise gives the non-alternating series

which can be evaluated to high precision from a small number of terms using Richardson extrapolation or the Euler–Maclaurin formula. This series can also be transformed into an integral by means of the Abel–Plana formula and evaluated using techniques for numerical integration.

## Unusual behavior

If the series is truncated at the right time, the decimal expansion of the approximation will agree with that of π for many more digits, except for isolated digits or digit groups. For example, taking five million terms yields

- 3.141592
__4__5358979323846__4__643383279502__7__841971693993__873__058...

where the underlined digits are wrong. The errors can in fact be predicted; they are generated by the Euler numbers *E _{n}* according to the asymptotic formula

where *N* is an integer divisible by 4. If *N* is chosen to be a power of ten, each term in the right sum becomes a finite decimal fraction. The formula is a special case of the Boole summation formula for alternating series, providing yet another example of a convergence acceleration technique that can be applied to the Leibniz series. In 1992, Jonathan Borwein and Mark Limber used the first thousand Euler numbers to calculate π to 5,263 decimal places with Leibniz' formula.

## Euler product

The Leibniz formula can be interpreted as a Dirichlet series using the (unique) Dirichlet character modulo 4. As with other Dirichlet series, this allows the infinite sum to be converted to an infinite product with one term for each prime number. Such a product is called an Euler product. It is:

In this product, each term is a superparticular ratio, each numerator is an odd prime number, and each denominator is the nearest multiple of four to the numerator.^{[3]}

## Notes

## References

- Jonathan Borwein, David Bailey & Roland Girgensohn,
*Experimentation in Mathematics - Computational Paths to Discovery*, A K Peters 2003, ISBN 1-56881-136-5, pages 28–30.