Skip to content

Erdős problem 424

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

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

424.lean

Retained formal statement1 of 1

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

FormalConjectures/ErdosProblems/424.leanErdos424.erdos_4241 lineExact file
sorry ↔ Erdos424.generatedSet.HasPosDensity
OpenStatement only, no proof