Erdős problem / erdos
no open offerProblem 152
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_f3cddb79811f2b8b
theoretical
Erdős Problem #152: declared status 'proved'. Formalized: yes. For any , if is a sufficiently large finite Sidon set then there are at least many such that . Prize: no. Tags: sidon sets.
recordedOpen record