Skip to content

Erdős problem 9

Is the upper density of the set of odd numbers that cannot be expressed as a prime plus two powers of 2 positive?

Sources

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

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

9.lean

Retained formal statement2 of 5

The set is known to be infinite. In [Er77c] Erdős credits Schinzel with proving that there are infinitely many odd integers not of this form, but gives no reference.

[Er77c] Erdős, P., _Problems and results on combinatorial number theory. III._.

FormalConjectures/ErdosProblems/9.leanErdos9.erdos_9.variants.infinite1 lineExact file
Erdos9.Erdos9A.Infinite
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page