f(x) = x^4 + x - 3 。多少实根?用 TVI + 符号分析。