7. (10 points) Prove or disprove the following statement. log(x)(2x4+x3+3x+x9) is O(x5). (If you choose to prove this statement, you must do so using witnesses)