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

FormalConjectures/ErdosProblems/

1065.lean

Retained formal statement2 of 2

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

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

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

OpenStatement only, no proof