3.5 Section 3.1 Bisection

After n iterations, $c_n$ , which is $\left(\frac{a_n+b_n}{2}\right)$ is at a distance from root given by

$$|c_n-r|=\frac{b_0-a_0}{2^{n+1}}$$