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 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