展开 数列极限定义的符号叙述