Erdős problem 600 · problems.science

Let $r \geq 2$ . Is it true that $\frac{e(n,r+1)}{e(n,r)} \to 1$ as $n \to \infty$ ?

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

600.lean

Retained formal statement2 of 3

Let $r \geq 2$ . Is it true that $\frac{e(n,r+1)}{e(n,r)} \to 1$ as $n \to \infty$ ?

FormalConjectures/ErdosProblems/600.leanErdos600.erdos_600.parts.ii3 linesExact file

1True ↔2  ∀ (r : ℕ),3    2 ≤ r → Filter.Tendsto (fun n => ↑(Erdos600.eFunction n (r + 1)) / ↑(Erdos600.eFunction n r)) Filter.atTop (nhds 1)

OpenStatement only, no proof