Definition:Convergent Series