TeX:
\pi = 4 \operatorname{atan}\!\left(\frac{1}{2}\right) + 4 \operatorname{atan}\!\left(\frac{1}{3}\right)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Pi | The constant pi (3.14...) | |
| Atan | Inverse tangent |
Source code for this entry:
Entry(ID("cbf396"),
Formula(Equal(Pi, Add(Mul(4, Atan(Div(1, 2))), Mul(4, Atan(Div(1, 3)))))))