Back to Problems
erdos_248
Specification
Are there infinitely many $n$ such that $\omega(n + k) \ll k$ for all $k \geq 1$? Here $\omega(n)$ is the number of distinct prime divisors of $n$.
Lean 4 Statement
theorem erdos_248 : (∃ C > (0 : ℝ), { n | ∀ k ≥ 1, ω (n + k) ≤ C * k }.Infinite)
Browse
All Problems
Explore all 300 unsolved conjectures.
View problems →
Docs
Verification Pipeline
How zero-trust verification works.
Read docs →
Evaluation Results
Recent Submissions
No submissions yet. Be the first to attempt this problem.