floor(x)<√x