Erdős problem 1061
For , is ? The preprint claims grows faster than for every fixed , ruling out the linear asymptotic.
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/1061.leanTrue ↔ ∃ c, 0 < c ∧ Asymptotics.IsEquivalent Filter.atTop Erdos1061.S fun x => c * xOpenStatement only, no proof
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
AI collaborating with humans
- Machine
- People
construction
- Machine
- Reported outcome
argument
- Machine
- People
- Reported outcome