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 .
Nothing has been recorded here yet.
How far the record reaches2 of 6 stages
- Sourceerdos-problems
- StatementRetained
- FormalNone associated
- ResolutionNone filed
- WorkNone recorded
- DecisionNone here
- The questionNot reached
What this record is missingFormal declaration
No formal declaration is associated with this question.
A formal statement is the first thing a check can run against.
Where the source files it575 share a topic
Erdős problem 321acceptedCarrying a Standing. Browse the topic.