▾ 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
Formulation 1
The standard real harmonic series is the D3708: Rational series \begin{equation} \{ 1, 2, 3, \ldots \} \to \mathbb{Q}, \quad N \mapsto \sum_{n = 1}^N \frac{1}{n} \end{equation}
Child definitions
» D5073: Euler-Mascheroni constant
Results
» R2954: Standard real harmonic series diverges