Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Problem 779
Statement. Let and denote the first primes. Let . Does there always exist some prime with such that is prime?
Status. Falsifiable: the site's label, an open problem that a single finite counterexample would disprove.
Source. erdosproblems.com/779, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #779, https://www.erdosproblems.com/779.
Formalization. Statement in formal-conjectures.
Current assessment
No literature search or independent assessment is recorded on this page; the Status sentence gives the site's label. That label, Falsifiable, records an open question whose negation one finite counterexample would witness: a counterexample is a single for which no prime with makes prime, a check by finite arithmetic over the primes below , while a proof must cover every . The label is a body note, not a claim, and the problem has no claim page. The site's commentary attributes the question to Deaconescu, records his verification of it for , and reports Erdős's expectation that the least such is at most a fixed power of ; its probabilistic heuristic makes a failure at any extremely unlikely. Nothing here is independently reviewed.