Erdős problem 16 · problems.science

Is the set of odd integers not of the form $2^k+p$ the union of an infinite arithmetic progression and a set of density $0$ ?

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

16.lean

Retained formal statement3 of 3

Romanoff [Ro34] showed that the set of odd integers of this form has positive density.

FormalConjectures/ErdosProblems/16.leanErdos16.erdos_16.variant.romanoff2 linesExact file

1have S := {n | Odd n ∧ ∃ k p, Nat.Prime p ∧ n = 2 ^ k + p};2Erdos16.positive_lower_density S

SolvedStatement only, no proof