Skip to content

Erdős problem 891

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?

Sources

The source's own material, retained exactly.

4 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

891.lean

Retained formal statement4 of 4

Weisenberg has observed that Dickson's conjecture implies the answer is no if we replace p1⋯pkp_1\cdots p_k with p1⋯pk−1p_1\cdots p_k-1. Indeed, let LkL_k be the lowest common multiple of all integers at most p1⋯pkp_1\cdots p_k. By Dickson's conjecture [Wikipedia], there are infinitely many n′n' such that Lkmn′+1\frac{L_k}{m}n'+1 is prime for all 1≤m<p1⋯pk1\leq m < p_1\cdots p_k. It follows that, if n=Lkn′+1n=L_kn'+1, then all integers in [n,n+p1⋯pk−1)[n,n+p_1\cdots p_k-1) have at most kk prime factors.

FormalConjectures/ErdosProblems/891.leanErdos891.erdos_891.variants.weisenberg3 linesExact file
∀ k ≥ 2,  ∃ᶠ (n : ℕ) in Filter.atTop,    ∀ m ∈ Finset.Ico n (n + ∏ i ∈ Finset.range k, Nat.nth Nat.Prime i - 1), ArithmeticFunction.cardDistinctFactors m ≤ k
OpenStatement only, no proof