An Example induction argument
An Example induction argument: Closed Form First Order Recurrence Relation