Inductive Sequences and Sigma Notation