Fungrim entry: 9d5c86

\gamma = -\lim_{z \to 0} \left[\psi\!\left(z\right) + \frac{1}{z}\right]

TeX:

\gamma = -\lim_{z \to 0} \left[\psi\!\left(z\right) + \frac{1}{z}\right]

Definitions:

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

Source code for this entry:

Entry(ID("9d5c86"),
    Formula(Equal(ConstGamma, Neg(ComplexLimit(Brackets(Add(DigammaFunction(z), Div(1, z))), For(z, 0))))))

Topics using this entry

2021-03-15 19:12:00.328586 UTC