Erdős problem 945 · problems.science

Is it true that $F(x) \leq (\log x)^{O(1)}$ ?

Sources

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

5 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

945.lean

Retained formal statement2 of 5

Is there a constant $C > 0$ such that, for all large $x$ , every interval $[x, x+(\log x)C]$ contains two integers with the same number of divisors?

FormalConjectures/ErdosProblems/945.leanErdos945.erdos_945.variants.constant1 lineExact file

1True ↔ Erdos945.Erdos945Constant

OpenStatement only, no proof