real analysis - Prove that there exists an integer greater than x such that any polynomial $f(x)$ will be strictly non-negative and get large?

Hi I am taking a number theory class and so far I have been proving modular congruences, modular arithmetic, and prime properties. There is this theorem that came up in the textbook and apparently it does not involve any modular arithmetic. The theorem is as follows

Suppose $f(x)=a_nx^n+a_{n-1}x^{n-1}+\dots+a_0$ is a polynomial of degree $n>0$. Then there exists an integer $k$ such that if $x>k$ then $f(x)>0$.

I feel like this would come up in real analysis, but I have not come that far in my studies. I have an idea of applying induction and using the ceiling function somehow, but I have no idea how to start off this proof. Any help will do and thank you