>>342
どんな函数なんですか？
ある函数の導函数となるような函数に対しては
中間値の定理が成り立つとか
導函数は第一種不連続になりえないとかそういうことだったら
解析概論の微分のとこに載ってますよ