利用导数构造函数证明数列型不等式