Erdős problem 786
Let . Is there some set of density such that with can only hold when ?
Sources
FormalConjectures/ErdosProblems/
786.lean
Retained formal statement
Erdos786.consecutivePrimesFrom 2 1 = {2, 3}TestStatement only, no proof
Let . Is there some set of density such that with can only hold when ?
Browse retained paths and inspect the exact material available for this Problem.
7 retained statements · 2415f78e850a
Open selected sourceFormalConjectures/ErdosProblems/
786.lean
1Erdos786.consecutivePrimesFrom 2 1 = {2, 3}Find a Problem, Result, source, or page