Resolve "Repeated unfolding + induction"
Adds an exercise on recurrence equations + induction, opted to use g instead of n, to get students comfortable with using other variable names.
The recurrence equation is taken from the ADS TH exam from this year.
Closes #42 (closed)
Edited by Kevin Chong