Divergence of the harmonic series