Solution (source code)

= Solution

The <intermediate value theorem> states that if $f:[a,b]\to\mathbb R$ is <continuous> and $y$ lies between $f(a)$ and $f(b)$, then there exists $c\in[a,b]$ such that $f(c)=y$.