导数法研究正整数不等式