设函数f(x)<0在区间[a,b]上连续,f'(x)<0,f"(x)>0,记S1=[f(x)在[a,b]上的定积分], S2=f(b)(b-a),S3=1/2[f(a)+f(b)](b-a),则S1和S3大小如何比较?