给出定义：若 (其中为整数)，则叫做离实数最近的整数，记作，即. 在此基础上给出下列关于函数的四个命题：①的定义域是，值域是；
②点是的图像的对称中心；③函数的最小正周期为1；
④ 函数在上是增函数； 则其中真命题是_   ．