TeX:
\pi = \frac{1}{\sqrt{2}} \Gamma\!\left(\frac{1}{4}\right) \Gamma\!\left(\frac{3}{4}\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("63ba30"),
Formula(Equal(Pi, Mul(Div(1, Sqrt(2)), Mul(Gamma(Div(1, 4)), Gamma(Div(3, 4)))))))