math induction and sequence summation 725370