Least k > 0 such that sigma(factorial(k)) >= n*factorial(k)