Erdős problem 886 · problems.science

Let $\epsilon>0$ . Is it true that, for all large $n$ , the number of divisors of $n$ in $(n^{1/2},n^{1/2}+n^{1/2-\epsilon})$ is $O_\epsilon(1)$ ?

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

886.lean

Retained formal statement3 of 3

Erdős and Rosenfeld [ErRo97] proved that there are infinitely many $n$ such that there are four divisors of $n$ in $(n^{1/2},n^{1/2}+16n^{1/4})$ .

FormalConjectures/ErdosProblems/886.leanErdos886.erdos_886.variants.rosenfeld_infinite1 lineExact file

1{n | 4 ≤ (Erdos886.Erdos886Divisors n (1 / 4) 16).card}.Infinite

SolvedStatement only, no proof