Erdős problem 1142

Are there infinitely many $n > 2$ such that $n - 2^k$ is prime for all $k \geq 1$ with $2^k < n$ ?

Sources

The source's own material, retained exactly.

10 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

1142.lean

Retained formal statement7 of 10

$7$ satisfies the Erdős 1142 property: $7 - 2 = 5$ and $7 - 4 = 3$ are prime.

FormalConjectures/ErdosProblems/1142.leanErdos1142.erdos_1142.test_71 lineExact file

1Erdos1142.Erdos1142Prop 7

TestStatement only, no proof