Skip to content

Erdős problem 288

Is it true that there are only finitely many pairs of intervals I1I_1, I2I_2 such that ∑n1∈I11n1+∑n2∈I21n2∈N? \sum_{n_1 \in I_1} \frac{1}{n_1} + \sum_{n_2 \in I_2} \frac{1}{n_2} \in \mathbb{N}?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/288.lean

Formal Conjectures

FormalConjectures/ErdosProblems/288.leanErdos288.erdos_2882 linesExact file
sorry ↔  {I | ∀ (j : Fin 2), (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

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

  • AI collaborating with humans

    Erdős AI contributions wiki · 3 May, 2026

    Machine
    GPT-5.5 Thinking
    People
    Ritvik Nayak
    Open the source record

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page