对于定义在区间D上的函数f(X),若存在闭区间和常数c，使得对任意x₁,都有，且对任意x₂D,当时，恒成立，则称函数f(x)为区间D上的“平顶型”函数.给出下列说法：
①“平顶型”函数在定义域内有最大值；
②函数为R上的“平顶型”函数；
③函数f(x)=sinx-|sinx|为R上的“平顶型”函数；
④当时，函数，是区间上的“平顶型”函数.
其中正确的是________.(填上你认为正确结论的序号）