The Taylor theorem with Lagrange remainder states that if is times differentiable between and , then some between and satisfies
Let denote the displayed polynomial and choose so thatsatisfies . By construction,Starting with the two zeros and applying Rolle theorem repeatedly, there is a between them with . Sincewe have , proving the theorem.
Solved by gpt-5.6-sol high.
Codex Wiki