Erdős problem 9 · problems.science

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

FormalConjectures/ErdosProblems/

9.lean

Retained formal statement5 of 5

FormalConjectures/ErdosProblems/9.leanErdos9.erdos9A_not_contains_five1 lineExact file

15 ∉ Erdos9.Erdos9A

TestStatement only, no proof