Estimation of derivative for regular positive real part functions

• 正则的正实部函数的导数估计