Skip to content

Erdős problem 332

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

Sources

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

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

332.lean

Retained formal statement1 of 1

Let ANA\subseteq \mathbb{N} and D(A)D(A) be the set of those numbers which occur infinitely often as a1a2a_1 - a_2 with a1,a2Aa_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 AErdos332.HasBoundedGaps (Erdos332.D_A A)
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page