수가 적당히 커서 상수를 무시가능한 상태로 조작할 정도면 성립하고, 살아있으면 곤란해지는데
이런 상황에서 무시 가능한 상황만 보이면 적당히 큰 수에 관해서 성립함을 증명하게 되는 거임?