Erdős problem 1065

Are there infinitely many primes $p$ such that $p = 2^k * q + 1$ for some prime $q$ and $k ≥ 0$ ?

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

1065.lean

Retained formal statement1 of 2

Are there infinitely many primes $p$ such that $p = 2^k * q + 1$ for some prime $q$ and $k ≥ 0$ ?

This is mentioned as B46 in Unsolved Problems in Number Theory by *Richard K. Guy*

FormalConjectures/ErdosProblems/1065.leanErdos1065.erdos_1065.parts.i1 lineExact file

1True ↔ {p | ∃ q k, Nat.Prime p ∧ Nat.Prime q ∧ p = 2 ^ k * q + 1}.Infinite

OpenStatement only, no proof