Skip to content

Erdős problem 422

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

Sources

Browse retained paths and inspect the exact material available for this Problem.

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

422.lean

Retained formal statement3 of 4

How does ff grow?

FormalConjectures/ErdosProblems/422.leanErdos422.erdos_422.variants.growth_rate1 lineExact file
(fun n => ↑↑(Erdos422.f n)) =O[Filter.atTop] sorry
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page