TeX:
\gamma = \lim_{s \to 1} \left[\zeta\!\left(s\right) - \frac{1}{s - 1}\right]Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstGamma | The constant gamma (0.577...) | |
| ComplexLimit | Limiting value, complex variable | |
| RiemannZeta | Riemann zeta function |
Source code for this entry:
Entry(ID("a1f1ec"),
Formula(Equal(ConstGamma, ComplexLimit(Brackets(Sub(RiemannZeta(s), Div(1, Sub(s, 1)))), For(s, 1)))))