Erdős problem / erdos
no open offerProblem 139
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_64a02387364c7266
theoretical
Erdős Problem #139: declared status 'proved'. Formalized: yes. Prize: $1000. OEIS: A003002, A003003, A003004, A003005. Tags: additive combinatorics, arithmetic progressions.
recordedOpen record