((Subscript[S, 1 k])+⌈((Subscript[x, k+1])/d)⌉·d-(Subscript[x, k+1]))≥d