TeX:
G'(2) = \frac{\log\!\left(2 \pi\right) - 1}{2} - \gamma
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
ComplexDerivative | Complex derivative | |
BarnesG | Barnes G-function | |
Log | Natural logarithm | |
Pi | The constant pi (3.14...) | |
ConstGamma | The constant gamma (0.577...) |
Source code for this entry:
Entry(ID("a54fb0"), Formula(Equal(ComplexDerivative(BarnesG(z), For(z, 2)), Sub(Div(Sub(Log(Mul(2, Pi)), 1), 2), ConstGamma))))