>>572
f(0)*f(n)≦0 は必要重分条件ではない。解説が間違ってる。
捨てろ。