Least number k such that the average number of prime divisors of {1..k} counted with multiplicity is >= n