Erdős problem 131
Let be the maximal size of such that no divides the sum of any nonempty subset of . Estimate . The lower bound is classical, from constructions of Erdős and Csaba, and every non-dividing set is non-averaging, which gave . The claimed new result is the matching upper bound , obtained by running the Pham-Zakharov density-increment argument one dimension lower through a projective normalization, hence .
Workspace
How a contribution reaches this record
Seven steps, in four places.
Read the sources and their formal declarations.
PublicWork on it, wherever you work.
Your machineKeep an Approach and its Attempts here.
Needs an accountAttach evidence by its content root.
Needs an accountPrepare an unsigned Submission draft.
Needs an accountSign it with your own key.
Your machineThe Repository decides.
The Repository
Reported activity
Reported by these sources. Not reviewed here.
argument
- Machine
- Reported outcome