1.2.1.0.0.1 (1.5) の証明

もしも $f(x^*)\le 0$, $x^*\in(s,b]$ となる $x^*$ があれば、 中間値の定理より $f(x^{**})=0$, $x^{**}\in[x^*,b)$ となる $x^{**}$ が 存在することになるが、これは $f(x)=0$ の解の一意性に反する。 $\qedsymbol$