(n→∞)an → lim[n→∞]an

こういうことだ。