talk:>>511 ここでもεN論法だよ。ある自然数Nが存在し、Nより大きい任意の自然数nに対してa/2<a(n)<3a/2 または -3a/2<a(n)<-a/2 が成り立つ。