如何由函数连续进一步推得函数可导