구간 [a, b] 가 점 a 로 축소될 때, 미분 f'(a) 가 평균 변화율의 극한임을 공식적으로 증명하시오