Erdős problem 786 · problems.science

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

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

7 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

786.lean

Retained formal statement7 of 7

FormalConjectures/ErdosProblems/786.leanErdos786.nth_zero1 lineExact file

1∀ {p : ℕ}, Nat.Prime p → Nat.nth (fun q => Nat.Prime q ∧ p ≤ q) 0 = p

APIStatement only, no proof

Sources

Search problems.science