# Question: prove the following inequality there exists a natural number n0...

###### Question details

Prove the following inequality:

There exists a natural number n_0 such that for every natural number n greater than n_0, 9n^2 ≤ n^3 − 10n.

Prove the following inequality:

There exists a natural number n_0 such that for every natural number n greater than n_0, 9n^2 ≤ n^3 − 10n.