Erdős problem 383 · problems.science

Is it true that for every $k$ there are infinitely many primes $p$ such that the largest prime divisor of $\prod_{i = 0}^k (p ^ 2 + i)$ is $p$ ?

Sources

Browse retained paths and inspect the exact material available for this Problem.

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

383.lean

Retained formal statement1 of 1

Is it true that for every $k$ there are infinitely many primes $p$ such that the largest prime divisor of $\prod_{i = 0}^k (p ^ 2 + i)$ is $p$ ?

FormalConjectures/ErdosProblems/383.leanErdos383.erdos_3831 lineExact file

1True ↔ ∀ (k : ℕ), {p | Nat.Prime p ∧ (∏ i ∈ Finset.Icc 0 k, (p ^ 2 + i)).maxPrimeFac = p}.Infinite

OpenStatement only, no proof