给出定义：若（其中为整数），则叫做离实数 最近的整数，记作，即 . 在此基础上给出下列关于函数的四个命题：

①函数的定义域是R，值域是[0，]；
②函数的图像关于直线(k∈Z)对称；
③函数是周期函数，最小正周期是1；
④函数在上是增函数；        
则其中真命题是__