Problem
erdos:131Let 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 .
Matching claims
No direct claims
This problem has no directly related claim record.