,又
,故只需证明当0<a<b≤1时
,利用当t∈[0,x]时f(x)≤f(t)可知,当x∈(0,1]时有
在区间(0,1]上非增,即当0<a<b≤1时
,不难得出
,且当x∈(a,1]时有
化为区间[0,a]上的定积分后再作比较.
,于是
,且x:a→b
t:0→a,
,代入即得
,利用函数f(x)在区间[0,1]上单调非增可知
,再利用f(x)≥0,就有

x>x
0
>0,证明:
代入上式,并将两端在[a,b]上取积分,注意到u(t)>0,b>a,
