Erdős problem / erdos
no open offerProblem 185
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_b1d4c27a250721c3
theoretical
Erdős Problem #185: declared status 'proved'. Formalized: no. Prize: no. OEIS: A003142. Tags: additive combinatorics.
recordedOpen record