Fungrim home page

Fungrim entry: 45a969

ψ ⁣(23)=3π6γ3log(3)2\psi\!\left(\frac{2}{3}\right) = \frac{\sqrt{3} \pi}{6} - \gamma - \frac{3 \log(3)}{2}
\psi\!\left(\frac{2}{3}\right) = \frac{\sqrt{3} \pi}{6} - \gamma - \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(2, 3)), Sub(Sub(Div(Mul(Sqrt(3), Pi), 6), ConstGamma), 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