Erdős problem 332
Let and be the set of those numbers which occur infinitely often as with . What conditions on are sufficient to ensure has bounded gaps?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/332.lean∀ (A : Set ℕ), sorry A → Erdos332.HasBoundedGaps (Erdos332.D_A A)OpenStatement only, no proof
Reported activity
Reported by these sources. Not reviewed here.
Valid but non-improving proofs