Is it true that $f(n,k) 0$ and for all $n > 0$?

Erdős problem 20 · problems.science

Is it true that $f(n,k) < c_k^n$ for some constant $c_k>0$ and for all $n > 0$ ?

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

20.lean

Retained formal statement1 of 3

Is it true that $f(n,k) < c_k^n$ for some constant $c_k>0$ and for all $n > 0$ ?

FormalConjectures/ErdosProblems/20.leanErdos20.erdos_201 lineExact file

1sorry ↔ ∃ c, ∀ (n k : ℕ), n > 0 → Erdos20.f n k < c k ^ n

OpenStatement only, no proof