Fungrim home page

Fungrim entry: 39fe5f

\gamma = -\int_{0}^{\infty} {e}^{-x} \log(x) \, dx

TeX:

\gamma = -\int_{0}^{\infty} {e}^{-x} \log(x) \, dx

Definitions:

Fungrim symbol	Notation	Short description
`ConstGamma`	$\gamma$	The constant gamma (0.577...)
`Integral`	$\int_{a}^{b} f(x) \, dx$	Integral
`Exp`	${e}^{z}$	Exponential function
`Log`	$\log(z)$	Natural logarithm
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("39fe5f"),
    Formula(Equal(ConstGamma, Neg(Integral(Mul(Exp(Neg(x)), Log(x)), For(x, 0, Infinity))))))

Topics using this entry

Euler's constant

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC