ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3414 on D4930: Real harmonic series
Necessary and sufficient condition for convergence of real harmonic series
Formulation 3
Let $p \in [0, \infty)$ be an D4767: Unsigned real number.
Then
(1) \begin{equation} \sum_{n = 1}^{\infty} \frac{1}{n^p} = \infty \quad \iff \quad p \in [0, 1] \end{equation}
(2) \begin{equation} \sum_{n = 1}^{\infty} \frac{1}{n^p} \in [0, \infty) \quad \iff \quad p \in (1, \infty) \end{equation}