a(n) is the smallest k such that psi(k) = factorial(n)