高书中的极限需要详细证明,从定义开始,逐层深入
导数直接可作为工具,不详细探求他的过程