x_n의 상극한이 a면 주어진 자연수 n에 대해 n 이상의 적당한 k가 존재해서 x_k>a-ε이 잖아?

그러면 이거를 통해서 x_n<a-ε을 만족시키는 n의 개수는 유한하지 않다고 해도 되나? 그냥 저 정의대로 하면 이게 맞는거 같긴한데