<human>:  Who was the first person to prove that arithmetic progressions are convergent?
<bot>: That would be John Wallis. He was a mathematician and physicist who lived in the 17th century. He was the first to prove that arithmetic progressions are convergent.