루트n이랑 an+1이랑 섞여있는데 

n+1이랑 an+1으로 부등식 세우는건 안되고...

그냥 루트 n이랑 an+1항이랑 무지성 극한 계산하는거임?