TeX:
\psi\!\left(\frac{1}{3}\right) = -\frac{\sqrt{3} \pi}{6} - \gamma - \frac{3 \log(3)}{2}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| DigammaFunction | Digamma function | |
| Sqrt | Principal square root | |
| Pi | The constant pi (3.14...) | |
| ConstGamma | The constant gamma (0.577...) | |
| Log | Natural logarithm |
Source code for this entry:
Entry(ID("98f642"),
Formula(Equal(DigammaFunction(Div(1, 3)), Sub(Sub(Neg(Div(Mul(Sqrt(3), Pi), 6)), ConstGamma), Div(Mul(3, Log(3)), 2)))))