> PS: What to do about the n=1 case? > I should have asked, is it better to define j as nonnegative, in which case a(1) = c(1) = 1? Or should I insist j must be positive, and so a(1)=0 and 1 is excluded from {c(k)}? I vote for nonnegative j. Thanks, Leroy