Erdős problem 10
Is there some such that every integer is the sum of a prime and at most powers of ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/10.leanTrue ↔ ∃ k, Erdos10.sumPrimeAndTwoPows k = Set.univ \ {0, 1}OpenStatement only, no proof