F(x)=[∫[a->x]f(t)dt]/(x-a)=>F'(x)=[f(x)(x-a)-∫[a->x]f(t)dt]/(x-a)²∴只需证明f(x)(x-a)-∫[a->x]f(t)dt≤0而f'(x)≤0,∴t∈[a,x]时,有f(t)≥f(x),不等式两边对t从a积分到x,则有∫[a->x]f(t)dt≥∫[a->x]f...