Erdős problem 786

Let $\epsilon > 0$ . Is there some set $A\subset\mathbb{N}$ of density $> 1 - \epsilon$ such that $a_1\cdots a_r = b_1\cdots b_s$ with $a_i, b_j\in A$ can only hold when $r = s$ ?

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

786.lean

Retained formal statement2 of 7

FormalConjectures/ErdosProblems/786.leanErdos786.consecutivePrimesFrom_zero1 lineExact file

1∀ {p : ℕ}, Nat.Prime p → Erdos786.consecutivePrimesFrom p 0 = {p}

TestStatement only, no proof