Skip to content

Erdős problem 287

Let k2k\geq2. Is it true that, for any distinct integers 1<n1<<nk1 < n_1 < \cdots < n_k such that i=1k1ni=1\sum_{i=1}^k \frac{1}{n_i} = 1, we must have max(ni+1ni)3\max(n_{i+1} - n_i) \geq 3?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/287.lean

Formal Conjectures

FormalConjectures/ErdosProblems/287.leanErdos287.erdos_2872 linesExact file
True  ∀ (k : ℕ) (hk : 2 ≤ k) (s : Fin k → ℕ), StrictMono s → 1 < s ⟨0, ⋯⟩ → ∑ i, 1 / ↑(s i) = 1 → 3 ≤ Erdos287.max_gap k s
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page