累加或累积型导数不等式的证明2