84725487domain: NAppears in sequencesa(n) is the least k such that the average number of infinitary divisors of {1..k} is >= n.at n=13A344274