Erdős problem 422
Does miss infinitely many integers?
Sources
FormalConjectures/ErdosProblems/
422.lean
Retained formal statement
How does grow?
(fun n => ↑↑(Erdos422.f n)) =O[Filter.atTop] sorryOpenStatement only, no proof
Erdős problem 422
The source's own material, retained exactly.
4 retained statements · 36c6d0fef71a
Open selected sourceFormalConjectures/ErdosProblems/
422.lean
How does grow?
1(fun n => ↑↑(Erdos422.f n)) =O[Filter.atTop] sorry