Loading problem…
Status
On this page
Status
Topics
Problem 419
If counts the number of divisors of , then what is the set of limit points of
Source: erdosproblems.com/419
- Number theory
- Factorials
Status
Solved, AnsweredAn accepted solution exists. Settled in another form, for example when its parts resolve differently or the question is open-ended.
The site labels the problem SOLVED (LEAN). The standing derived
from the claim page is solved, answered: the limit points are exactly
and the numbers for , by
Erdős, Graham, Ivić and Pomerance 1996,
credited by the site's curator. The Lean proof the site's label refers to is
third-party work not built here.