函数の連続性 / ガウス記号

要するにfloor()函数ということか?