Computational complexity of the intermediate value theorem