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$ ?

Sources

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

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

20.lean

Retained formal statement2 of 3

Erdős and Rado [ErRa60] proved the factorial upper bound for the $k$ -sunflower threshold: any family of $n$ -uniform sets with more than $(k-1)^n \, n!$ members contains a $k$ -sunflower, hence $f(n,k) \le (k-1)^n \, n! + 1$ .

FormalConjectures/ErdosProblems/20.leanErdos20.erdos_20.variants.erdos_rado_bound1 lineExact file

1∀ (n k : ℕ), n > 0 → 2 ≤ k → Erdos20.f n k ≤ (k - 1) ^ n * n.factorial + 1

SolvedStatement only, no proof

Sources

Search problems.science