실제 문제에서의 극한정리 검증