Intermediate value theorem