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?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/9.leanTrue ↔ 0 < Erdos9.Erdos9A.upperDensityOpenStatement only, no proof