Take a sufficiently large m (m>23000) and put x=m+k−11. Note that
{(m+k−11)n}=ki>n∑(in)m(k−1)imn−i
Because
ki>n∑(in)m(k−1)imn−i<m1i=0∑n(in)<m2n+1<1,
and the remaining terms of (m+k−11)n are all integers. Now if n=kt+r such that k−1≥r≥0, we have two cases:
Case 1 r=0.
{(m+k−11)n}=ki>n∑(in)mki−n1>i=t+1mk−r1,{(m+k−11)n−1}=ki>n−1i≥t+1∑(in−1)mki−n+11<2n×mk−r+1n,mk−r1>2n×mk−r+1n⟹{(m+k−11)n}>{(m+k−11)n−1}.
Case 2 r=0.
{(m+k−11)n}=ki>ni≥t+1∑(in)mki−n1<2n×mkn,{(m+k−11)n−1}=ki>n−1i≥t∑(in−1)mki−n+11≥m1,m1>k≥22n×mkn⟹{(m+k−11)n−1}>{(m+k−11)n}.
Therefore,
{(m+k−11)n−1}>{(m+k−11)n}⟺k∣n,{xn−1}>{xn}⟺k∣n.