Erdős problem 1095 · problems.science

Erdős, Lacampagne, and Selfridge [ELS93] write 'it is clear to every right-thinking person' that $g(k)\geq\exp(c\frac{k}{\log k})$ for some constant $c>0$ .

Sources

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

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1095.lean

Retained formal statement4 of 4

Ecklund, Erdős, and Selfridge [EES74] conjectured $g(k)\leq \exp((1+o(1))k)$ .

FormalConjectures/ErdosProblems/1095.leanErdos1095.erdos_1095.variants.upper_conjecture1 lineExact file

1∃ f, Filter.Tendsto f Filter.atTop (nhds 0) ∧ ∀ᶠ (k : ℕ) in Filter.atTop, ↑(Erdos1095.g k) ≤ Real.exp (↑k * (1 + f k))

OpenStatement only, no proof

Sources

Search problems.science