Show that if (xn) is an unbounded sequence, then there exists a properly divergent subsequence.
라는 문제를 푸는데
Xnk>k for each nk이렇게 해서 properly divergent한 subsequence를 구성했단말야??
근데 생각해보니까 unbounded 하다고해서 무한성이 증명되는건 아니잖아.
예를들어,
Xn1>1 에서 1보다 큰 어떤 term을 뽑아왔으면, Xn2>2 에서 1보다 큰 애를 뽑을 때 이미 2보다 큰 애를 써버려서 n2가 골라지지 못할 수도 있는거잖아.
물론 unbounded하다는건 위로나 아래로나 쭉 뻗어나간단거니까 저 말이 틀렸겠지만 명쾌하게 무한히 골라낼 수 있다는걸 보이지 못하겠어.
무한개 맞지 유한개라고 가정하면 거기서 절대값이 가장 큰 걸 고를 수 있는데 그러면 모순이지
아하.. 자꾸 귀류를 까먹네 그러면 이정도로 자명한건 증명과정에 안넣고 그냥 Xnk>k로 구성한다. 이렇게만 적어도 될까?
귀납적으로 계속 그렇게 큰 걸 고를 수 있는거만 보이면 충분하다고 생각함 (계속 고를 수 있으면 무한개니까)
ㅇㅋㅇㅋ
실수라 가정하고 얘기하면 구간 [-n,n]에 속하지 않는 점을 하나씩 뽑아서 xn의 부분수열을 잡아보셈
그러면 진동할 수도 있지않냐
그러겠네 양수나 음수 둘중 한쪽으로만 뽑아 둘다 못뽑을리는 없잖아