TI-Nspire Mini-Tutorial: (CAS) Exploring induction: Finding the formula for the sum of consecutive integers