Skip to content

Erdős problem 786

Let ϵ>0\epsilon > 0. Is there some set A⊂NA\subset\mathbb{N} of density >1−ϵ> 1 - \epsilon such that a1⋯ar=b1⋯bsa_1\cdots a_r = b_1\cdots b_s with ai,bj∈Aa_i, b_j\in A can only hold when r=sr = s?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/786.lean

Formal Conjectures

FormalConjectures/ErdosProblems/786.leanErdos786.consecutivePrimesFrom_two_one1 lineExact file
Erdos786.consecutivePrimesFrom 2 1 = {2, 3}
TestStatement only, no proof

Continue