TeX:
\psi\!\left(\frac{2}{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("45a969"),
Formula(Equal(DigammaFunction(Div(2, 3)), Sub(Sub(Div(Mul(Sqrt(3), Pi), 6), ConstGamma), Div(Mul(3, Log(3)), 2)))))