ca.analysis and odes - Which sequences can be extended to analytic functions? (e. g., Ackermann's function)

Let {a_n} be a sequence of complex numbers indexed by the positive integers. Does there always exist an analytic function f such that f(n) = a_n for n=1,2,...? If not, are there any simple necessary or sufficient conditions for the existence of such f? This analytic function should be defined on some connected domain in the complex plane containing the positive integers.

To make this concrete, consider Ackermann's function, which is defined recursively: first define the sequence of functions A_k, k=1,2,..., as

A₁(n) = 2n,
A_k(1) = 2,
A_k(n) = A_k-1(A_k(n-1)),

and then define Ackermann's function as the diagonal A(n) = A_n(n) for n >= 1. Does there exist an analytic function f such that f(n) = A(n) for n = 1,2,...?

Actually, the individual functions A_k are interesting as well. A₁(n) = 2n, as given above; A₂(n) = 2ⁿ, and A₃(n) = 2^(2^(...2^2)) (with n twos in the expression). Obviously, A₁ and A₂ have analytic extensions. According to Wikipedia (which uses a slightly different definition and notation), analytic extensions of A₃ or A_k for any other k aren't known, but from the language, it isn't clear whether the existence of an extension is itself in question, or whether one simply hasn't been found yet. Also, it doesn't say anything about the diagonal A(n) (unless I missed it).

There are many other obvious sequences that don't seem to have obvious analytic extensions, like the prime-counting function (just to name one!). As far as my knowledge is concerned, this seems more like the rule than the exception. My knowledge here is admittedly very limited, though, so anything at all that you can share will probably teach me something.