Skip to published state

finding record / erdos

recorded

vf_6b8cb04b6e5e5cf0

Erdős Problem #420

Canonical assertion

declared status 'open'. Formalized: no. If τ(n)\tau(n) counts the number of divisors of nn then letF(f,n)=τ((n+f(n))!)τ(n!).F(f,n)=\frac{\tau((n+\lfloor f(n)\rfloor)!)}{\tau(n!)}.Is it true thatlimnF((logn)C,n)=\lim_{n\to \infty}F((\log n)^C,n)=\inftyfor large CC? Is it true that F(logn,n)F(\log n,n) is everywhere dense in (1,)(1,\infty)? More generally, if f(n)lognf(n)\leq \log n is a monotonic function such that f(n)f(n)\to \infty as nn\to \infty, then is F(f,n)F(f,n) everywhere dense? Current best: Erd\H{o}s, Graham, Ivi\'{c}, and Pomerance [EGIP96] have proved thatlim infF(clogn,n)=1\liminf F(c\log n, n) = 1for any c>0c>0, andlimF(n4/9,n)=.\lim F(n^{4/9},n)=\infty.(The exponent 4/94/9 can be improved slightly.) They also prove that, if f(n)=o((logn)2)f(n)=o((\log n)^2), then for almost all nnF(f,n)1.F(f,n)\sim 1.van Doorn notes in the comments that the existence of infinitely many bounded prime gaps implieslim supnF(g(n),n)=\limsup_{n\to \infty}F(g(n),n)=\inftyfor any g(n)g(n)\to \infty, and that Cram\'{e}r's conjecture implieslimF(g(n)(logn)2,n)=\lim F(g(n)(\log n)^2, n)=\inftyfor any g(n)g(n)\to \infty> References [EGIP96] Erd\H{o}s, Paul and Graham, S. Prize: no. Tags: number theory.

Notation is rendered from the stored source. The pinned checkout remains the exact record.

  1. database_record
  2. theoretical
  3. 0 spans
  4. recorded
Provenance summary
erdos_deep:420
database_record
Jun 16, 2026, 12:00 AM
not recorded
0
Exact record identityFinding ID, frontier identity, and pinned Git source
vf_6b8cb04b6e5e5cf0
vfr_0a25edabc16db143
ce8ba7d934c848408e0d91caca39e938698e3fc7
03f7371b496485f761f91961027fd48198dc7e93
Exact source and rootsGit ce8ba7d934c8 and content-addressed ledgers
Commit
ce8ba7d934c848408e0d91caca39e938698e3fc7
Tree
03f7371b496485f761f91961027fd48198dc7e93
Committed
2026-07-20T19:20:20-04:00
Repository
Open source
Event log
sha256:a06797bc0d1b0e3c88a2f97507fe0832661e3992d8df41187a0aa6d3ceee9bde
Snapshot
sha256:1faedc24f040a60a22177b456c74b969a61ce8836082297b1835797a57b4fa56
Proposals
sha256:e69b38037814f2e8ca826942cfc50ab370993889be2913cac1c0b3e77711160f
Actor registry
sha256:665f3e1c48f0a50fac949681c0af01bdd28de2991f2cdc5cc4cddbe69df6311b
Artifacts
sha256:3d58619c5cfb7e28de2f344476e35c9f0b80709c996b2a1bfdb2e11496f7e1da