(⌊((Subscript[x, k+1])/d)⌋·d-(Subscript[x, k+1]))≤0