f가 미분가능한지에 대해서는 불명한데limx->a (f'(x))=c 임을 알면 적어도 f'(a)=c 인건 확실한건가??도함수가 1종 불연속일 수는 없으니까- dc official App
f가 a에서 연속이면 ㅇㅇ
증명은 MVT로 간단히 됨