<s>[INST] Prove $ \forall n \ge 4$, $n^{3} + n < 3^{n}$ 
Prove that $\forall n \ge 4$, $n^{3} + n < 3^{n}$

My attempt: Base case is trivial.
Suppose $ \ n \ge 4$, $n^{3} + n < 3^{n}$. Then, 
$$ (n+1)^{3} + (n+1) = n^3 + n + 3n^2 + 3n + 1 +1 < 3^{n} + 3n^2 + 3n + 2 \\< 3\cdot 3^{n} + 3n^2 + 3n +2.$$
Not sure how to get rid of $3n^2 + 3n +2$. 
 [/INST] You proved correctly that $(n+1)^3+(n+1)<3^n+3n^2+3n+2$. So, prove now that$$(\forall n\geqslant4):3n^2+3n+2\leqslant2\times3^n.$$This is easy to do using induction again.
</s>