Wiki
Wiki

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

Updated


Statement

Let ff be a polynomial with integer coefficients, irreducible over Q\mathbb Q and of degree l>1l>1; this is the class to which printed p. 379 reduces the paper without loss of generality. Write PxP_x for the greatest prime factor of ∏k=1xf(k)\prod_{k=1}^x f(k). The paper's convention on p. 379 makes c1,c2,…c_1,c_2,\ldots positive constants depending only on ff and takes xx sufficiently large.

At the top of printed p. 380, directly after withholding the proof of display (3), Erdős writes: "It seems likely that Px>c4xlP_x>c_4x^l, but this if true must be very deep" (p. 380). In the corpus's words: he expects that for each such ff there is a positive constant c4=c4(f)c_4=c_4(f) with

Px>c4xlP_x>c_4x^l

for all sufficiently large xx, and he gives no proof or argument for it.

This is a hedged expectation, not a stated theorem or a formally posed conjecture; the paper gives it no number or label, and this page names it by its page.

Source. P. Erdős, On the greatest prime factor of ∏k=1xf(k)\prod_{k=1}^x f(k), Journal of the London Mathematical Society 27 (1952), no. 3, 379--384; the sentence is on printed p. 380, with the reduction to irreducible ff of degree l>1l>1 and the constant convention on printed p. 379. The edition read is identified on the source card.

Read depth. Claims checked: the sentence, the reduction and the constant convention were read clause by clause on the page images of printed pp. 379--380. A remark of this kind has no proof to check.

Dependencies

None. The remark sits beside the paper's Theorem, whose bound x(log⁡x)c2log⁡log⁡log⁡xx(\log x)^{c_2\log\log\log x} is x1+o(1)x^{1+o(1)} and so far below the expected scale xlx^l.

Bears on

  • Problem 976: the remark is, for fixed irreducible ff of degree l≥2l\geq2, the bound asked for in the problem's second question, Ff(n)≫ndF_f(n)\gg n^d with d=ld=l. Since l>1l>1, it would also answer the first question, Ff(n)≫n1+cF_f(n)\gg n^{1+c}, for that ff. The paper offers it only as likely and gives no proof.