솔직히... 정리 1에서 모든 AnBn이 P^2보다 크지 않다는 가정을 하셨는데, P를 본문에서 나온 것처럼 11로 치고 3^4 P ln^4 P를 계산하면 81 × 11 × (ln 11)^4가 되는데 이게 계산하면 29000이 넘거든요. 이 수열에 포함되는 모든 AnBn이 11^2보다 작을 수가 없지 않아요?
음... n 이하의 최대 소수가 왜 √n보다 크지 않죠? 이건 n의 소인수에만 해당하는 부분 아닌가요? 그리고 정리 1이나 아래 추측에서 "모든 AnBn이 P^2보다 크지 않다면"이라든지 "3^4 ~~~~<2N이면"같은 가정이 들어가있는데 이게 완성된 증명이라고 할 수 있는건가요? 애초에 그 가정이 모든 경우에서 성립해야 (=가정이 없어야) 증명이 완성되는 것 아닌가요?