Intermediate Value Theorem Proved by Auxiliary Sequence

• 巧构辅助数列证明介值性定理