So the claim is: If X^3+4X>0, then 5x+9>6

We are supposed to show our scratch work which generally means he wants us to figure it out algebraicly and then use our work backwards to form the proof. However, i'm not sure how to start. We don't have any theorems that apply so it has to be something simple i'm just not thinking of.

Any ideas?