Erdős problem 770 · problems.science

For odd n, the values of h n form an unbounded set. This is described as 'easy to see' in [Er74b].

Sources

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

6 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

770.lean

Retained formal statement2 of 6

Does liminf h n = ∞?

FormalConjectures/ErdosProblems/770.leanErdos770.erdos_770.parts.ii1 lineExact file

1sorry ↔ Filter.liminf Erdos770.h Filter.atTop = ⊤

OpenStatement only, no proof