Show for all $n \in \mathbb{N}$ $(n\geq1):$ $10^n \gt 6n^2+n$
My solution:
Base case: For $n=1$
$10^1 \gt 6 \cdot 1^2+1$
Inductive hypothesis:
$10^n \gt 6n^2+n \Rightarrow 10^{n+1} \gt 6\cdot(n+1)^2+(n+1)$
Inductive step:
$10^{n+1} \gt 6\cdot(n+1)^2+(n+1)$
$\Rightarrow$ $10^{n+1} \gt 6(n^2+2n+1)+n+1$
$\Rightarrow$ $10^{n+1} \gt 6n^2+12n+6+n+1$
$\Rightarrow$ $10^{n+1} \gt 6n^2+13n+7$
$\Rightarrow$ $10^n \cdot 10^1 \gt 6n^2+13n+7$
$\Rightarrow$ $(6n^2+n)\cdot10 \gt 6n^2+13n+7$
$\Rightarrow$ $60n^2+10n \gt 6n^2+13n+7$
I am stuck at this point. What techniques or tricks are there to solve the rest?
It is of interest to me, because I am currently practicing a lot of exercises related to convergences, inequalities and mathematical induction.
Any hints guiding me to the right direction I much appreciate.
For the inductive step we can proceed as follow
$$10^{n+1}=10\cdot 10^n \stackrel{Ind.Hyp.}>10\cdot(6n^2+n) \stackrel{?}>6\cdot(n+1)^2+(n+1)$$
and the latter requires
$$10\cdot(6n^2+n) \stackrel{?}>6\cdot(n+1)^2+(n+1)$$
$$60n^2+10n \stackrel{?}>6n^2+12n+6+n+1$$
$$54n^2-3n-7 \stackrel{?}>0$$
which can be shown to be true by quadratic formula or again by induction.