Problem
erdos:779∀ n ≥ 1, have P := ∏ i ∈ Finset.range (n + 1), Nat.nth Nat.Prime i; ∃ p, Nat.Prime p ∧ Nat.Prime (P + p) ∧ Nat.nth Nat.Prime n < p ∧ p < P
Matching claims
No direct claims
This problem has no directly related claim record.
Problem
erdos:779Find a Problem, Result, source, or page