임의의 무한번 미분가능한 함수에 대해, 한 점 x=a를 포함하는 어떤 열린 구간에서 순증가하면, d^n/dx^n f(a) > 0을 만족시키는 자연수 n이 적어도 하나 존재한다.
참증거반