数列极限的概念及定义性质