Erdős problem 1074
Similarly, if is the set of all primes such that there exists an with such that , then does exist?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/1074.leansorry ↔ ∃ c, Erdos1074.EHSNumbers.HasDensity cOpenStatement only, no proof