a_n 이 위로 유계인 수열일때


A_n = sup{a_n, a_n+1, .... } 라고 정의를 하면 A_n은 단조감소 수열이므로 수렴하거나 -∞로 발산하거나임.


a_n이 아래로유계 => A_n은 수렴 은 보였는데


a_n이 아래로유계이지 않음 => A_n은 -∞로 발산함을 증명하고싶음.


대우인 A_n이 수렴 = a_n은 아래로 유계 임을 보여도 괜찮음.