Skip to content

Erdős problem 20

Start work

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

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

20.lean

Retained formal statement3 of 3
FormalConjectures/ErdosProblems/20.leanErdos20.f_0_11 lineExact file
Erdos20.f 0 1 = 1
TestStatement only, no proof