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