Smallest Odd Abundant Number not Divisible by 3

Theorem

The smallest odd abundant number not divisible by $3$ is $5 \, 391 \, 411 \, 025$.

Proof

We have:

$5 \, 391 \, 411 \, 025 = 5^2 \times 7 \times 11 \times 13 \times 17 \times 19 \times 23 \times 29$

showing it is not divisible by $3$.

Then from $\sigma_1$ of $5 \, 391 \, 411 \, 025$ we have:

$\map {\sigma_1} {5 \, 391 \, 411 \, 025} = 10 \, 799 \, 308 \, 800 = 2 \times 5 \, 391 \, 411 \, 025 + 16 \, 486 \, 750$

demonstrating that $5 \, 391 \, 411 \, 025$ is abundant.

This theorem requires a proof. In particular: It is still to be shown it is the smallest such. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Sources

• 1990: M.T. Whalen and C.L. Miller: Odd abundant numbers: some interesting observations (J. Recr. Math. Vol. 22)

• 1997: David Wells: Curious and Interesting Numbers (2nd ed.) ... (previous) ... (next): $5,391,411,025$