Skip to content

Erdős problem 457

Is there some ϵ>0\epsilon > 0 such that there are infinitely many nn where all primes p≤(2+ϵ)log⁡np \le (2 + \epsilon) \log n divide ∏1≤i≤log⁡n(n+i)? \prod_{1 \le i \le \log n} (n + i)?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

457.lean

Retained formal statement3 of 3

More generally, let q(n,k)q(n, k) denote the least prime which does not divide ∏1≤i≤k(n+i)\prod_{1 \le i \le k}(n + i). This problem asks whether q(n,log⁡n)≥(2+ϵ)log⁡nq(n, \log n) \ge (2 + \epsilon) \log n infinitely often.

FormalConjectures/ErdosProblems/457.leanErdos457.erdos_457.variants.qnk1 lineExact file
sorry ↔ ∃ ε > 0, {n | (2 + ε) * Real.log ↑n ≤ ↑(Erdos457.q n (Real.log ↑n))}.Infinite
OpenStatement only, no proof