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