Completion requirements
数列极限的定义