A famous result in classical analysis is the \emph{intermediate value theorem}: Suppose $f$ is a continuous function on the interval $[a,b]$ such that $f(a)0$. Then there exists $x \in (a,b)$ such that $f(x)=0$. This theorem isn't valid in constructivist mathematics, but the following slightly weaker version is: Suppose $f$ is a continuous function on the interval $[a,b]$ such that $f(a)0$. Then for each $\epsilon >0$ there exists $x \in (a,b)$ such that $|f(x)|0$. Also suppose that $f$ is locally non-zero: for every $x\in[a,b]$ and $\epsilon>0$ there exists $y$ such that $|x-y| Thus constructivist analysis doesn't have a result that is quite as strong as the classical intermediate value theorem, but it does have results that come close to it and are useful in many of the situations in which you might want to use the intermediate value theorem. Back to main article