Erdős problem 385 · problems.science

Note that trivially $F(n) \leq n + \sqrt{n}$ .

Sources

Browse retained paths and inspect the exact material available for this Problem.

4 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

385.lean

Retained formal statement3 of 4

A question of Erdős, Eggleton, and Selfridge, who write that in fact it is possible that this quantity is always at least $n+(1-o(1))\sqrt{n}$

FormalConjectures/ErdosProblems/385.leanErdos385.erdos_385.variants.lb1 lineExact file

1sorry ↔ ∃ e, ∃ (_ : e =o[Filter.atTop] 1), ∀ (n : ℕ), ↑n + (1 - e n) * √↑n ≤ ↑(Erdos385.F n)

OpenStatement only, no proof