lim n→∞ (两行是一个符号) 这个符号怎么读?