I usually trip up on the "induct on n" part.

I sometimes get "out of memory" errors; restarting sometimes help.