TeX:
\psi\!\left(\frac{5}{6}\right) = \frac{\sqrt{3} \pi}{2} - \gamma - 2 \log(2) - \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("967bbb"), Formula(Equal(DigammaFunction(Div(5, 6)), Sub(Sub(Sub(Div(Mul(Sqrt(3), Pi), 2), ConstGamma), Mul(2, Log(2))), Div(Mul(3, Log(3)), 2)))))