함수 실수 공간 $\mathbb{R}$에서 정의된 함수 $f(x)$가 공간 $\left[a, b\right]$에서 $n$번 미분 가능하고, $f^{(n+1)}$의 값이 구간 $\left[a,b\right]$에서 존재한다고 가정하자. 또한 $x_0 \in \left[a,b\right]$이라고 하자. 이 때 모든 $x \in \left[a,b\right]$에 대해 다음 식을 만족시키는 $\epsilon(x) \in (x_0, x)$이 존재한다: