Erdős problem / erdos
no open offerProblem 164
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_8b0411ac7a0fcda2
theoretical
Erdős Problem #164: declared status 'proved'. Formalized: no. Prize: no. OEIS: A137245. Tags: number theory, primitive sets.
recordedOpen record