Erdős problem 886

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

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

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