Erdős problem 1065 · problems.science

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

Sources

Browse retained paths and inspect the exact material available for this Problem.

2 retained statements2415f78e850a

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](https://doi.org/10.1007/978-0-387-26677-0) 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