Erdős problem 383

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

The source's own material, retained exactly.

1 retained statement36c6d0fef71a

Open selected source

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