函数的定义域为D，若对于任意，当时，都有，则称函数在D上为非减函数。设函数为定义在[0，1]上的非减函数，且满足以下三个条件：
① ；② ； ③ 当时，恒成立。则         。