도함수의 정의를 써놓고 그 극한이 x에 관계없이 항상 수렴한다는 걸 보이면 증명되는 건가요?