Skip to content

Erdős problem 961

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

Sources

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

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

961.lean

Retained formal statement5 of 6
FormalConjectures/ErdosProblems/961.leanErdos961.erdos_961.variants.sylvester_schur_1_11 lineExact file
Erdos961.Erdos961Prop 1 1
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page