induction on a reccurence sequence

Printable View