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$ ?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/383.lean

Formal Conjectures

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