수업때 lim n->inf 1/n=0인거를 이미 증명하였다고 하자.

문제로 lim n->inf a_n=0임을 증명하는 게 문제인데
부등식 식 조작중

0<a_n<b_n<c_n<1/n 과같은꼴이나왔다고하자.

여기서 lim n->inf 1/n=0이므로 임의의 양수 e에 대해 어떤 N이 존재해 n>=N => 1/n<e이다.
라고 쓰고 양수 e를 고정하면 N이 존재해
n>=N => 0<a_n<e 가 성립.

따라서 lim n->inf a_n=0
라 했는데

lim n->inf 1/n=0이라서 임의의 양수 e에 대해 어떤 N이 존재해 n>=N => 1/n < e인 것이 아니라,
아르키메데스 성질에 의해 저게 성립하는 거므로

lim n->inf 1/n=0이므로 그렇다고하면 순환논리라 틀리게한다고햇었는데

싸우다가 그냥넘어갓엇음

- dc official App