最小化 x^4-x