Erdős problem / erdos
no open offerProblem 13
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_4870d0d6817bbedc
theoretical
Erdős Problem #13: declared status 'proved'. Formalized: yes. Prize: $100. OEIS: A002264. Tags: number theory.
recordedOpen record