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)$ ?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/886.lean

Formal Conjectures

FormalConjectures/ErdosProblems/886.leanErdos886.erdos_8861 lineExact file

1sorry ↔ ∀ ε > 0, ∃ K, ∀ᶠ (n : ℕ) in Filter.atTop, (Erdos886.Erdos886Divisors n ε 1).card ≤ K

OpenStatement only, no proof