由定积分定义计算极限式