TeX:
\pi = \frac{\sqrt{3}}{2} \Gamma\!\left(\frac{1}{3}\right) \Gamma\!\left(\frac{2}{3}\right)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Pi | The constant pi (3.14...) | |
| Sqrt | Principal square root | |
| Gamma | Gamma function |
Source code for this entry:
Entry(ID("2371b9"),
Formula(Equal(Pi, Mul(Div(Sqrt(3), 2), Mul(Gamma(Div(1, 3)), Gamma(Div(2, 3)))))))