Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
▾
Deduction system
▾
Theory
▾
Zermelo-Fraenkel set theory
▾
Set
▾
Binary cartesian set product
▾
Binary relation
▾
Map
▾
Operation
▾
N-operation
▾
Binary operation
▾
Enclosed binary operation
▾
Groupoid
▾
Semigroup
▾
Standard N-operation
▾
Indexed sum
▾
Series
▾
Harmonic complex series
▾
Real harmonic series
▾
Standard real harmonic series
Euler-Mascheroni constant
Formulation 0
The
Euler-Mascheroni constant
is the
D993: Real number
\begin{equation} \lim_{N \to \infty} \left( - \log N + \sum_{n = 1}^N \frac{1}{n} \right) = 0.57722 \ldots \end{equation}