Erdős problem 422

Does $f(n)$ miss infinitely many integers?

Sources

The source's own material, retained exactly.

4 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

422.lean

Retained formal statement4 of 4

Is $f$ surjective?

FormalConjectures/ErdosProblems/422.leanErdos422.erdos_422.variants.surjective1 lineExact file

1True ↔ Function.Surjective Erdos422.f

OpenStatement only, no proof