Fungrim home page

Fungrim entry: bad5d9

π=3(3n=0(1)n3n+1log(2))\pi = \sqrt{3} \left(3 \sum_{n=0}^{\infty} \frac{{\left(-1\right)}^{n}}{3 n + 1} - \log(2)\right)
\pi = \sqrt{3} \left(3 \sum_{n=0}^{\infty} \frac{{\left(-1\right)}^{n}}{3 n + 1} - \log(2)\right)
Fungrim symbol Notation Short description
Piπ\pi The constant pi (3.14...)
Sqrtz\sqrt{z} Principal square root
Sumnf(n)\sum_{n} f(n) Sum
Powab{a}^{b} Power
Infinity\infty Positive infinity
Loglog(z)\log(z) Natural logarithm
Source code for this entry:
    Formula(Equal(Pi, Mul(Sqrt(3), Sub(Mul(3, Sum(Div(Pow(-1, n), Add(Mul(3, n), 1)), For(n, 0, Infinity))), Log(2))))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC