Skip to content

Erdős problem 428

Is there a set A⊆NA\subseteq \mathbb{N} such that, for infinitely many nn, all of n−an-a are prime for all a∈Aa\in A with 0<a<n0 < a < n and lim inf⁡∣A∩[1,x]∣π(x)>0?\liminf\frac{\lvert A\cap [1,x]\rvert}{\pi(x)}>0?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/428.lean

Formal Conjectures

FormalConjectures/ErdosProblems/428.leanErdos428.erdos_4284 linesExact file
True ↔  ∃ A,    (∃ᶠ (n : ℕ) in Filter.atTop, ∀ a ∈ A, 0 < a → a < n → Nat.Prime (n - a)) ∧      Filter.liminf (fun n => Erdos428.primeDensityRatio A n) Filter.atTop > 0
OpenStatement only, no proof

Continue