Erdős problem / erdos
no open offerProblem 418
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_7d8531a620ce7b4c
theoretical
Erdős Problem #418: declared status 'proved'. Formalized: yes. Prize: no. OEIS: A005278, A263958. Tags: number theory.
recordedOpen record