Skip to content

Erdős problem 786

Let ϵ>0\epsilon > 0. Is there some set ANA\subset\mathbb{N} of density >1ϵ> 1 - \epsilon such that a1ar=b1bsa_1\cdots a_r = b_1\cdots b_s with ai,bjAa_i, b_j\in A can only hold when r=sr = 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 statement1 of 7
FormalConjectures/ErdosProblems/786.leanErdos786.consecutivePrimesFrom_two_one1 lineExact file
Erdos786.consecutivePrimesFrom 2 1 = {2, 3}
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page