Skip to content

Erdős problem 9

Start work

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

Sources

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

9.lean

Retained formal statement5 of 5
FormalConjectures/ErdosProblems/9.leanErdos9.erdos9A_not_contains_five1 lineExact file
5 ∉ Erdos9.Erdos9A
TestStatement only, no proof