Skip to content

Erdős problem 332

Let A⊆NA\subseteq \mathbb{N} and D(A)D(A) be the set of those numbers which occur infinitely often as a1−a2a_1 - a_2 with a1,a2∈Aa_1, a_2\in A. What conditions on AA are sufficient to ensure D(A)D(A) has bounded gaps?

Sources

The source's own material, retained exactly.

1 retained statement36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

332.lean

Retained formal statement1 of 1

Let A⊆NA\subseteq \mathbb{N} and D(A)D(A) be the set of those numbers which occur infinitely often as a1−a2a_1 - a_2 with a1,a2∈Aa_1, a_2\in A. What conditions on AA are sufficient to ensure D(A)D(A) has bounded gaps?

This is formalised here using the answer(sorry) mechanism. In order to solve this problem one has to provide what the sufficient conditions are, and proof that they imply the desired condition. If the condition is a solution to the problem is up to human judgement.

FormalConjectures/ErdosProblems/332.leanErdos332.erdos_3321 lineExact file
∀ (A : Set ℕ), sorry A → Erdos332.HasBoundedGaps (Erdos332.D_A A)
OpenStatement only, no proof