对于定义在区间D上的函数fx,若满足对∀x1,x2∈D,且x1＜x2时都有 fx1≥fx2,则称函数fx为非增函数

对于定义在区间D上的函数fx,若满足对∀x1,x2∈D,且x1＜x2时都有 fx1≥fx2,则称函数fx为非增函数
且f（0）=l,f（x）+f（l-x）=l,又当x∈[0,1/4]时,f（x）≤-2x+1恒成立．有下列命题：
①∀x∈[0,1],f（x）≥0；
②当x1,x2∈[0,1]且x1≠x2,时,f（x1）≠f（x）；
③f(1/8)+f(5/11)+f(7/13)+f(7/8)=2;
④当x∈[0,1/4]时,f(f(x))≤f(x).
求③④详解、