Proof: harmonic series diverges