Erdős problem 424

Let $a_1 = 2$ and $a_2 = 3$ and continue the sequence by appending to $a_1, \dots, a_n$ all possible values of $a_ia_j - 1$ with $i \ne j$ . Is it true that the set of integers which eventually appear has positive density?

No current result

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

FormalConjectures/ErdosProblems/424.lean

Formal Conjectures

FormalConjectures/ErdosProblems/424.leanErdos424.erdos_4241 lineExact file

1sorry ↔ Erdos424.generatedSet.HasPosDensity

OpenStatement only, no proof

Reported by these sources. Not reviewed here.