Erdős problem 20Is 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?SourcesBrowse retained paths and inspect the exact material available for this Problem.3 retained statements · 2415f78e850aOpen selected sourceFormalConjectures/ErdosProblems/20.leanRetained formal statement3 of 3FormalConjectures/ErdosProblems/20.lean · Erdos20.f_0_11 lineExact file1Erdos20.f 0 1 = 1TestStatement only, no proofSource providersErdős Problems1Formal Conjectures3Referenced pathsFormalConjectures/ErdosProblems/20.lean3erdos_20Statement only, no prooferdos_20.variants.erdos_rado_boundStatement only, no prooff_0_1Statement only, no proof
FormalConjectures/ErdosProblems/20.lean · Erdos20.f_0_11 lineExact file1Erdos20.f 0 1 = 1TestStatement only, no proof