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