Rec. equations to solve using repeated unfolding (+induction)

Exercise for Assignment 2

2 rec. eq. to derive a guess for. 1 rec. eq. to derive a guess for and prove correct using induction.