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