TeX:
\gamma_{1}\!\left(\frac{1}{2}\right) = \gamma_{1} - 2 \gamma \log(2) - \log^{2}\!\left(2\right)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| StieltjesGamma | Stieltjes constant | |
| ConstGamma | The constant gamma (0.577...) | |
| Log | Natural logarithm | |
| Pow | Power |
Source code for this entry:
Entry(ID("70a705"),
Formula(Equal(StieltjesGamma(1, Div(1, 2)), Sub(Sub(StieltjesGamma(1), Mul(Mul(2, ConstGamma), Log(2))), Pow(Log(2), 2)))))