Prove or disprove the following statement: log(x)(2x⁴ + x³ + 3x⁹ + x) is O(x⁵). (If you choose to prove this statement, you must do so using witnesses).