Skip to content

Erdős problem 600

Start work

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

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

600.lean

Retained formal statement2 of 3

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

FormalConjectures/ErdosProblems/600.leanErdos600.erdos_600.parts.ii3 linesExact file
True ↔  ∀ (r : ℕ),    2 ≤ r → Filter.Tendsto (fun n => ↑(Erdos600.eFunction n (r + 1)) / ↑(Erdos600.eFunction n r)) Filter.atTop (nhds 1)
OpenStatement only, no proof