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