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