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 statement1 of 3

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

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