Skip to content

Erdős problem 10

Is there some kk such that every integer is the sum of a prime and at most kk powers of 22?

Sources

The source's own material, retained exactly.

6 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

10.lean

Retained formal statement4 of 6

Bogdan Grechuk has observed that 11171751461117175146 is not the sum of a prime and at most 33 powers of 22, and pointed out that parity considerations, coupled with the fact that there are many integers not the sum of a prime and 22 powers of 22 suggest that there exist infinitely many even integers which are not the sum of a prime and at most 33 powers of 22).

FormalConjectures/ErdosProblems/10.leanErdos10.erdos_10.variants.grechuk1 lineExact file
({n | Even n} \ Erdos10.sumPrimeAndTwoPows 3).Infinite
OpenStatement only, no proof