Erdős problem 390
Let be the least for which can be written as with - the smallest possible largest factor in a factorization of into distinct integers all exceeding . Erdős, Guy and Selfridge proved . Erdős asked whether there is a constant with and what it is.
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/390.leanTrue ↔ ∃ c, Asymptotics.IsEquivalent Filter.atTop (fun n => ↑(Erdos390.f n) - 2 * ↑n) fun n => c * ↑n / Real.log ↑nOpenStatement only, no proof
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
AI collaborating with humans
- Machine
- People
argument
- Machine
- People
- Reported outcome