Erdős problem 885

Is it true that, for every $k \geq 1$ , there exist integers $N_1 < \dots < N_k$ such that $|\cap_i D(N_i)| \geq k$ ?

Sources

The source's own material, retained exactly.

4 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

885.lean

Retained formal statement2 of 4

Erdős and Rosenfeld [ErRo97] proved this is true for $k=2$ .

FormalConjectures/ErdosProblems/885.leanErdos885.erdos_885.variants.k_eq_21 lineExact file

1∃ Ns, (∀ n ∈ Ns, 1 ≤ n) ∧ Ns.card = 2 ∧ (⋂ n ∈ Ns, Erdos885.factorDifferenceSet n).ncard ≥ 2

SolvedStatement only, no proof