Fungrim entry: e8af68

\gamma = \lim_{x \to {0}^{+}} \left[-K_{0}\!\left(x\right) - \log\!\left(\frac{x}{2}\right)\right]

TeX:

\gamma = \lim_{x \to {0}^{+}} \left[-K_{0}\!\left(x\right) - \log\!\left(\frac{x}{2}\right)\right]

Definitions:

Fungrim symbol	Notation	Short description
`ConstGamma`	$\gamma$	The constant gamma (0.577...)
`RightLimit`	$\lim_{x \to {a}^{+}} f(x)$	Limiting value, from the right
`BesselK`	$K_{\nu}\!\left(z\right)$	Modified Bessel function of the second kind
`Log`	$\log(z)$	Natural logarithm

Source code for this entry:

Entry(ID("e8af68"),
    Formula(Equal(ConstGamma, RightLimit(Brackets(Sub(Neg(BesselK(0, x)), Log(Div(x, 2)))), For(x, 0)))))

Topics using this entry

2021-03-15 19:12:00.328586 UTC