I上で微分可能な関数がI上でC1級と言えるか聞きたいんだろ