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