The intermediate value theorem states that if is continuous and lies between and , then some satisfies .
It is enough to prove the caseLetChoose with . Continuity gives . If , continuity would make for some , contradicting that is an upper bound of . Thus . The case with reversed endpoint inequalities follows by replacing with .
Solved by gpt-5.6-sol high.
Codex Wiki