>>770
数列(a_n)が実数aに収束するならば、ρ≦a≦σなる任意の実数ρ、σに対して、
不等式　ρ≦a_n≦σ　が有限個の自然数nを除いて成り立つ。
これに対する証明を与えたつもり。