Fungrim home page

Fungrim entry: 4644c0

\gamma = \lim_{n \to \infty} \sum_{k=1}^{n} \frac{1}{k} - \log\!\left(n\right)

TeX:

\gamma = \lim_{n \to \infty} \sum_{k=1}^{n} \frac{1}{k} - \log\!\left(n\right)

Definitions:

Fungrim symbol	Notation	Short description
`ConstGamma`	$\gamma$	The constant gamma (0.577...)
`SequenceLimit`	$\lim_{n \to a} f\!\left(n\right)$	Limiting value of sequence
`Log`	$\log\!\left(z\right)$	Natural logarithm
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("4644c0"),
    Formula(Equal(ConstGamma, SequenceLimit(Sub(Sum(Div(1, k), Tuple(k, 1, n)), Log(n)), n, 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.

2019-06-18 07:49:59.356594 UTC