Wiki
Wiki

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

Updated

Problem 891

../


Statement. Let 2=p1<p2<⋯2=p_1<p_2<\cdots be the primes and k≥2k\geq 2. Is it true that, for all sufficiently large nn, there must exist an integer in [n,n+p1⋯pk)[n,n+p_1\cdots p_k) with >k>k many prime factors?

Formulation. Prime factors are counted without multiplicity: the question asks for an mm in the interval with ω(m)>k\omega(m)>k. This is how the source reads it. Erdős and Selfridge count distinct prime factors, and the site's remark that even the case k=2k=2 is unknown requires it. Counted with multiplicity the question would be trivial: for n>2kn>2^k the interval, of length p1⋯pk≥2kp_1\cdots p_k\ge2^k, contains a multiple 2km2^km of 2k2^k with m≥2m\ge2, which has more than kk prime factors counted with multiplicity.

Status. Open.

Source. erdosproblems.com/891, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #891, https://www.erdosproblems.com/891.

References.

  • [Po18] Pólya, Georg, Zur arithmetischen Untersuchung der Polynome. Math. Z. 1 (1918), 143-148.

Formalization. Statement in formal-conjectures.

Progress

Not yet compiled.

Known Results

Not yet compiled.

Linked library material

These entries are derived from explicit links on library pages. They are navigation only and do not by themselves record mathematical progress.