求和型导数不等式的证明