Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated

Problem 779

../


Statement. Let n>1n> 1 and p1<⋯<pnp_1<\cdots<p_n denote the first nn primes. Let P=∏1≤i≤npiP=\prod_{1\leq i\leq n}p_i. Does there always exist some prime pp with pn<p<Pp_n<p<P such that P+pP+p 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 n>1n>1 for which no prime pp with pn<p<Pp_n<p<P makes P+pP+p prime, a check by finite arithmetic over the primes below PP, while a proof must cover every nn. 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 n≤1000n\le1000, and reports Erdős's expectation that the least such pp is at most a fixed power of nn; its probabilistic heuristic makes a failure at any nn extremely unlikely. Nothing here is independently reviewed.