What is a convergent infinite series?