1. (2020·定远模拟) 若函数 对定义域内的任意 ，当 时，总有 ，则称函数 为单调函数，例如函数 是单纯函数，但函数 不是单纯函数，下列命题：

①函数 是单纯函数；

②当 时，函数 在 是单纯函数；

③若函数 为其定义域内的单纯函数， ，则

④若函数 是单纯函数且在其定义域内可导，则在其定义域内一定存在 使其导数 ，其中正确的命题为．（填上所有正确的命题序号）