induction sequences and summation 930387