MathCastle
Proof WritingHardInduction

Induction · Hard problem

Let a1=2a_1 = 2, a2=5a_2 = 5 and an=3an−1−2an−2a_n = 3a_{n-1} - 2a_{n-2}. A "proof" that an=2na_n = 2^n checks only n=1n = 1 and then uses the two previous terms in the step. What is a5a_5 really?