Limn->무한 N파이/2 -an=0 임을 보이면 나머지는 자동 증명 아니냐

근데 이걸 보이는 게 그닥 어려운 일이 아니지

(0,파이/2)에서 탄젠트 곡선을 생각하면 파이/2를 점근선으로 가지는 증가함수

따라서 y=k랑 탄젠트 함수의 교점을 생각했을 때 k를 무한대로 보내면 x좌표는 파이/2에 수렴함 이게 고교과정 오버한 거 없잖아

그러면 이제 Limn->무한 N파이/2 -an=0 증명을 교점의 y좌표가 무한대로 가는지를 증명하면 되는 거잖아

(n-1)파이/2일때 탄젠트의y좌표는 0이고 루트x/10의 y좌표는 루트 {(n-1)파이/2}/10 이잖아

교점의 y좌표는 루트 {(n-1)파이/2}/10 보다 크니까 Limn->무한 N파이/2 -an=0


이게 교과외의 논리를 쓴 건가?