Conjecture: For every positive integer n, A001359(n+1)^(1/(n+1)) < A001359(n)^(1/n). Note that this conjecture is equivalent to " A001359 is infinite and for every n, A001359(n+1) < A001359(n)^(1+1/n). This implies for every n, a(n) is positive. See comment lines of the sequence A001359.