7614530

Appears in sequences

• a(n) = least k such that the average number of divisors of {1..k} is >= n.at n=15A085829