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