定积分在数列和式不等式证明中的应用