数列无穷大定义是什么时候学的