\{x\lfloor x\rfloor\}\neq 0