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))))