lim(n->无穷)un = S = lim(n->无穷)u(n+1)
lim(n->无穷)(u(n+1) - un ) = 0