あと
ビッグピクチャー的にはf(0),f(1),f(2),…,a(=f(∞))と並べてみたくなりませんか？
ならないならならないで結構ですけど
「極限値」という用語を素直に表している
ビッグピクチャーかなとは思いますね