Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Problem 420
Statement. If counts the number of divisors of then let
Is it true that
for large ?
Is it true that is everywhere dense in ?
More generally, if is a monotonic function such that $f(n)\to \infty$ as , then is everywhere dense?
Status. Open.
Source. erdosproblems.com/420, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #420, https://www.erdosproblems.com/420.
References.
- [EGIP96] Erdős, Paul and Graham, S. W. and Ivić, Aleksandar and Pomerance, Carl, On the number of divisors of . (1996), 337-355.
Formalization. None recorded.
Progress
Not yet compiled.
Known Results
Not yet compiled.
Linked library material
These entries are derived from explicit links on library pages. They are navigation only and do not by themselves record mathematical progress.
Linked from (11)
Arithmetic FunctionsProblem 419Arithmetic Functionsfactorials_binomials/erdos_1996_number_divisorsCorollary 2 (p. 6): K(n) > log n log log n log log log log n/(9 (log log log n)^3) infinitely oftenCorollary 3 (p. 9): K(n) < n^{4/9} for all sufficiently large nLemma 1 (p. 3): 1 + S(n)/2n <= d(n!)/d((n-1)!) <= 1 + 2S(n)/nLemma 3 (p. 8): ≫ x^{4/9} primes above x^{5/9+δ} divide integers in (x, x + x^{4/9}]Theorem 1 (p. 3): an asymptotic expansion of log d(n!) in powers of 1/log nTheorem 3 (p. 5): f(n) >= (1/4 - ε) log n log log n log log log log n/(log log log n)^3 infinitely oftenTheorem 4 (p. 8): f(n) < n^{4/9} for all sufficiently large n
Graph