Problem
erdos:279True ↔ ∀ k ≥ 3, ∃ a N, (∀ (p : ℕ), Nat.Prime p → a p < p) ∧ ∀ n ≥ N, ∃ p, ∃ t ≥ k, Nat.Prime p ∧ n = a p + t * p
Matching claims
No direct claims
This problem has no directly related claim record.
Problem
erdos:279Find a Problem, Result, source, or page