Back to Problems
erdos_1084_easy_upper_d2
Specification
It is easy to check that $f_2(n) < 3n$.
Lean 4 Statement
theorem erdos_1084_easy_upper_d2 (hn : n ≠ 0) : f 2 n < 3 * n
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.