もしかしてf(x)=(xを超えない最大の整数)じゃないよね?