Erdős Problem #321
Prior state unknown→proved
What is the largest $A\subseteq\{1,\dots,N\}$ such that all subset sums $\sum_{n\in S}1/n$ (over $S\subseteq A$) are distinct?
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review