けんき says to YSITD
if f is diffable at x=a then is diffable at 1/f