harmonic sum convergent