Attribute for Limit at Derived Function of Higher Order

• 关于高阶导函数极限的一个性质