Erdős problem 424 · problems.science

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?

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

424.lean

Retained formal statement1 of 1

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

FormalConjectures/ErdosProblems/424.leanErdos424.erdos_4241 lineExact file

1sorry ↔ Erdos424.generatedSet.HasPosDensity

OpenStatement only, no proof

Sources

Search problems.science