Fungrim home page

Fungrim entry: 967bbb

ψ ⁣(56)=3π2γ2log(2)3log(3)2\psi\!\left(\frac{5}{6}\right) = \frac{\sqrt{3} \pi}{2} - \gamma - 2 \log(2) - \frac{3 \log(3)}{2}
\psi\!\left(\frac{5}{6}\right) = \frac{\sqrt{3} \pi}{2} - \gamma - 2 \log(2) - \frac{3 \log(3)}{2}
Fungrim symbol Notation Short description
DigammaFunctionψ ⁣(z)\psi\!\left(z\right) Digamma function
Sqrtz\sqrt{z} Principal square root
Piπ\pi The constant pi (3.14...)
ConstGammaγ\gamma The constant gamma (0.577...)
Loglog(z)\log(z) Natural logarithm
Source code for this entry:
    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)))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC