f(x)<0となるxが存在する時点で、D>0は保証されてるから。