Erdős problem 32 · problems.science

Does there exist a set $A \subseteq \mathbb{N}$ such that $|A \cap \{1, \ldots, N\}| = o((\log N)^2)$ and every sufficiently large integer can be written as $p + a$ for some prime $p$ and $a \in A$ ?

Sources

Browse retained paths and inspect the exact material available for this Problem.

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

32.lean

Retained formal statement1 of 5

Does there exist a set $A \subseteq \mathbb{N}$ such that $|A \cap \{1, \ldots, N\}| = o((\log N)^2)$ and every sufficiently large integer can be written as $p + a$ for some prime $p$ and $a \in A$ ?

FormalConjectures/ErdosProblems/32.leanErdos32.erdos_324 linesExact file

1True ↔2  ∃ A,3    Erdos32.IsAdditiveComplementToPrimes A ∧4      (fun N => ↑{x ∈ Finset.Icc 1 N | x ∈ A}.card) =o[Filter.atTop] fun N => Real.log ↑N ^ 2

OpenStatement only, no proof

Sources

Search problems.science