Erdős problem 422
Does miss infinitely many integers?
Sources
FormalConjectures/ErdosProblems/
422.lean
Retained formal statement
Does miss infinitely many integers?
True ↔ {n | ∀ (x : ℕ+), Erdos422.f x ≠ n}.InfiniteOpenStatement only, no proof
Does miss infinitely many integers?
Browse retained paths and inspect the exact material available for this Problem.
4 retained statements · 2415f78e850a
Open selected sourceFormalConjectures/ErdosProblems/
422.lean
Does miss infinitely many integers?
1True ↔ {n | ∀ (x : ℕ+), Erdos422.f x ≠ n}.InfiniteFind a Problem, Result, source, or page