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