proof of bisection method being within epsilon code example Example: bisection method based on IVT, c=(a+b)/2, if(fa*fc<0) b=c else a=c