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