The fact that the harmonic series diverges was first proven in the 14th century by Nicole Oresme, but was forgotten. Proofs were given in the 17th century by Pietro Mengoli, Johann Bernoulli, and Jacob Bernoulli.