Erdős problem 288 · problems.science

Is it true that there are only finitely many pairs of intervals $I_1$ , $I_2$ such that $\sum_{n_1 \in I_1} \frac{1}{n_1} + \sum_{n_2 \in I_2} \frac{1}{n_2} \in \mathbb{N}?$

Sources

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

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

288.lean

Retained formal statement2 of 4

Is it true for any $k > 2$ that only finitely many $k$ intervals satisfy this condition?

FormalConjectures/ErdosProblems/288.leanErdos288.erdos_288.variants.exists_k_gt_23 linesExact file

1sorry ↔2  ∃ k > 2,3    {I | ∀ (j : Fin k), (I j).1 ≤ (I j).2 ∧ ∃ n, ∑ j, ∑ nⱼ ∈ (Set.Icc (I j).1 (I j).2).toFinset, (↑↑nⱼ)⁻¹ = ↑↑n}.Finite

OpenStatement only, no proof

Sources

Search problems.science