Skip to content

Erdős problem 32

Does there exist a set A⊆NA \subseteq \mathbb{N} such that ∣A∩{1,…,N}∣=o((log⁡N)2)|A \cap \{1, \ldots, N\}| = o((\log N)^2) and every sufficiently large integer can be written as p+ap + a for some prime pp and a∈Aa \in A?

Sources

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

32.lean

Retained formal statement5 of 5

Ruzsa proved that any additive complement AA to the primes must satisfy lim inf⁡N→∞∣A∩{1,…,N}∣log⁡N≥eγ\liminf_{N \to \infty} \frac{|A \cap \{1, \ldots, N\}|}{\log N} \geq e^\gamma, where γ\gamma is the Euler-Mascheroni constant.

FormalConjectures/ErdosProblems/32.leanErdos32.erdos_32.variants.ruzsa4 linesExact file
∀ (A : Set ℕ),  Erdos32.IsAdditiveComplementToPrimes A →    ↑(Real.exp Real.eulerMascheroniConstant) ≤      Filter.liminf (fun N => ↑{x ∈ Finset.Icc 1 N | x ∈ A}.card / ↑(Real.log ↑N)) Filter.atTop
SolvedStatement only, no proof