x^4>=0