f(x)在[0,1]上非负单调减少,0