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