f(x) = x sin x - 1 在 (pi/2, pi) 有根?