<human>:  Who was the first person to prove that arithmetic progressions are convergent?
<bot>: That would be John Napier. He was a Scottish mathematician who invented logarithms. He was also the first person to prove that the sum of the first n positive integers is infinite.