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