Erdős problem 786
Let . Is there some set of density such that with can only hold when ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/786.leanErdos786.consecutivePrimesFrom 2 1 = {2, 3}TestStatement only, no proof