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

Open selected source

FormalConjectures/ErdosProblems/

600.lean

Retained formal statement1 of 3

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

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

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

OpenStatement only, no proof

Sources

Search problems.science