**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}

▾ 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

▾ 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

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

Results