TeX:
\gamma = \lim_{n \to \infty} \left[\left(\sum_{k=1}^{n} \frac{1}{k}\right) - \log(n)\right]Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstGamma | The constant gamma (0.577...) | |
| SequenceLimit | Limiting value of sequence | |
| Sum | Sum | |
| Log | Natural logarithm | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("4644c0"),
Formula(Equal(ConstGamma, SequenceLimit(Brackets(Sub(Parentheses(Sum(Div(1, k), For(k, 1, n))), Log(n))), For(n, Infinity)))))