<human>:  Who was the first person to prove that arithmetic sequences are infinite?
<bot>: That would be John von Neumann. He proved that the set of all arithmetic sequences is infinite. He also proved that the set of all sequences of real numbers is infinite.