x = 2x^2p^3 - x^4p^3 > 0