Erdos problem 392

The proof here is adapted from https://www.erdosproblems.com/forum/thread/392#post-2696 which in turn is inspired by the arguments in https://arxiv.org/abs/2503.20170.

factorization-def to initial-factorization-medium-pri…

• factorization-def
• waste-def
• balance-def
• balance-zero
• waste-eq
• score-def
• score-eq
• score-lower-1
• score-lower-2
• score-lower-3
• score-lowest
• card-bound
• params-set
• initial-factorization-def
• initial-factorization-card
• initial-factorization-waste
• initial-factorization-large-prime-le
• initial-factorization-large-prime-ge
• initial-factorization-medium-prime-le
• initial-factorization-medium-prime-ge

initial-factorization-small-prim… to erdos-sol-2

• initial-factorization-small-prime-le
• initial-factorization-small-prime-ge
• initial-factorization-tiny-prime-ge
• initial-score-bound
• bound-score-1
• bound-score-2
• bound-score-3
• primeCounting-is-o-id
• bound-score-4
• primeCounting-le-bound
• bound-score-5
• initial-score
• erdos-sol-1
• erdos-sol-2

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.