Erdős problem 972 · problems.science

Erdős problem 972. Let $\alpha > 1$ be irrational. Are there infinitely many primes $p$ such that $\lfloor p\alpha \rfloor$ is also prime?

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

972.lean

Retained formal statement1 of 1

Erdős problem 972. Let $\alpha > 1$ be irrational. Are there infinitely many primes $p$ such that $\lfloor p\alpha \rfloor$ is also prime?

FormalConjectures/ErdosProblems/972.leanErdos972.erdos_9721 lineExact file

1True ↔ ∀ α > 1, Irrational α → (Erdos972.primeSet α).Infinite

OpenStatement only, no proof