Fungrim entry: a1f1ec

\gamma = \lim_{s \to 1} \zeta\!\left(s\right) - \frac{1}{s - 1}

TeX:

\gamma = \lim_{s \to 1} \zeta\!\left(s\right) - \frac{1}{s - 1}

Definitions:

Fungrim symbol	Notation	Short description
`ConstGamma`	$\gamma$	The constant gamma (0.577...)
`ComplexLimit`	$\lim_{z \to a} f\!\left(z\right)$	Limiting value, complex variable
`RiemannZeta`	$\zeta\!\left(s\right)$	Riemann zeta function

Source code for this entry:

Entry(ID("a1f1ec"),
    Formula(Equal(ConstGamma, ComplexLimit(Sub(RiemannZeta(s), Div(1, Sub(s, 1))), s, 1))))

Topics using this entry

2019-06-18 07:49:59.356594 UTC