\lfloor x\rfloor\geq -1