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
∀ {p : ℕ}, Nat.Prime p → Erdos786.consecutivePrimesFrom p 0 = {p}TestStatement only, no proof