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