Dual View Random Solved Random Open
PROVED This has been solved in the affirmative.
A set $A\subset \mathbb{N}$ is primitive if no member of $A$ divides another. Is the sum\[\sum_{n\in A}\frac{1}{n\log n}\]maximised over all primitive sets when $A$ is the set of primes?
Erdős [Er35] proved that this sum always converges for a primitive set. Lichtman [Li23] proved that the answer is yes.

View the LaTeX source

External data from the database - you can help update this
Formalised statement? No (Create a formalisation here)
Related OEIS sequences: A137245
Likes this problem None
Interested in collaborating None
Currently working on this problem None
This problem looks difficult None
This problem looks tractable None

Additional thanks to: Jared Lichtman

When referring to this problem, please use the original sources of Erdős. If you wish to acknowledge this website, the recommended citation format is:

T. F. Bloom, Erdős Problem #164, https://www.erdosproblems.com/164, accessed 2026-01-16