Yes, the series expansion for the f_k's is only valid for |x| < 1/k. But
your suggested way of doing it is a lot better. For an alphabet of k letters,
the number b_k,r of r-letter words which have all k letters is k^r minus the number
of words in which at least one of the letters is absent. I calculated the
latter using the sieve principle as
# of r-letter words missing at least 1 of the k letters =
Then subtracting this from k^r gives
As you said, to generalize this to n > k letters in the alphabet, multiply
b_k,r by choose(n,k) to get
For the special case k = r, this should simplify to
I've been trying to verify by induction that

but I can't seem to do it. It seems to be true though, if you plug in small
numbers for r. Thanks for the tip! At least I'm making progress now. If you know of a way to simplify the above answer further, please show it.