TeX:
G'(2) = \frac{\log\!\left(2 \pi\right) - 1}{2} - \gammaDefinitions:
| 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))))