>>777
f(x) = x^2 - cos x
は
f(0) = -1 < 0
f(pi) = pi^2 +1 > 0
を満たす