证若 f 连续且 f(a) > 0 ，存在 f > 0 的邻域（保符号）。