i have encountered an inductional proof example.Actually i know basic induction but i stuck in this question after basis step. Can anybody write the following steps by using STRONG induction. The question is:
The sequence $a_1, a_2, a_3,\ldots$ is defined by $a_1 = 1$, $a_2 = 1$, $a_3 = 1$, $a_n = a_{n−1} + a_{n−2} + a_{n−3}$ for $n \ge 4$. Using mathematical induction correctly, prove that $a_n < 2^n$ for all $n \in\Bbb Z^+$.
My attempt:
Base case: $n = 1,2,3,4$:
$1< 2$,
$1<4$,
$1<8$,
$3<16$
Now we assume that the statement hold for everything upto $n-1$, and prove $n$: $$a_{n} = a_{n-1} + a_{n-2}+ a_{n-3} < 2^{n-1} + 2^{n-2} + 2^{n-3} = 2^{n-3}(1+2+4) = 7\cdot 2^{n-3} < 8\cdot 2^{n-3} = 2^n $$