The quote below is an outline of an intermediate value theorem proof that uses the creeping lemma.
"Assume that is zero for no . Then, prove that and are of the same sign by applying the creeping lemma with the relation defined by requiring to be true if and only if and are of the same sign"
Where the creeping lemma is: Let be a transitive relation on the interval . If each has a neighborhood such that whenever and , then .
So, with the above information I need to prove the intermediate value theorem, but I am not sure I understand the outline of the proof entirely and what parts of the lemma I am free to use without proof.
proof: Suppose is continuous on and there is a real number satisfying . Now, we can consider this statement in terms of the function . Suppose there is no such that ; then, without loss of generality and . So, we want to show, at some point , . I do not know how to use the relation given in the above quote to produce the rest of this proof.
If anyone knows about the creeping lemma and how to apply it, I'd really appreciate some advice on how to move forward.