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}