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