Erdős problem 961 · problems.science

It is conjectured that $f(k) \ll (\log k)^O(1)$ .

Sources

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

6 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

961.lean

Retained formal statement6 of 6

There exists $n$ such that Erdos961Prop k n holds.

FormalConjectures/ErdosProblems/961.leanErdos961.erdos_961.variants.well_defined1 lineExact file

1∀ (k : ℕ), 0 < k → ∃ n, Erdos961.Erdos961Prop k n

SolvedStatement only, no proof