Wiki
Wiki

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

Updated

Problem 930

../

claims/: The 1 claim page of Problem 930, one per claimant's result; the problem's standing derives from them.


Statement. Is it true that, for every rr, there is a kk such that if I1,…,IrI_1,\ldots,I_r are disjoint intervals of consecutive integers, all of length at least kk, then

∏1≤i≤r∏m∈Iim\prod_{1\leq i\leq r}\prod_{m\in I_i}m

is not a perfect power?

Formulation. The intervals consist of positive integers. Erdős's display (9) on p. 28 of [Er76d] asks for no solution in positive integers, and the formal-conjectures statement requires every interval to start above 00. An interval containing 00 would make the product 00.

Status. Open.

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

References.

Formalization. Statement in formal-conjectures.

Current assessment

Erdős poses the question in [Er76d] as display (9), a common generalization of the theorem that a product of consecutive integers is never a power, and says that he cannot prove it even in a special case with r=2r=2. The case r=1r=1 is that theorem of Erdős and Selfridge [ErSe75], with k=2k=2, recorded as the accepted partial claim Erdős and Selfridge 1975. The site notes that the lengths must be allowed to grow with rr: the constructions of Problem 363 show that for r=2r=2 short intervals can have a perfect power as product, and that problem treats the case of squares. The question is open for every r≥2r\geq 2.

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.