对于较小的正alpha,在alpha的累计和最终超过1之前,每个取整值都为0,因此总和恰好一次等于1,不可能被任何不小于2的m整除。
若 0<α<10<\alpha<10<α<1,设 m≥2m\ge2m≥2 为满足 mα≥1m\alpha\ge1mα≥1 的最小整数;则对 i=1,…,m−1i=1,\ldots,m-1i=1,…,m−1 有 ⌊iα⌋=0\lfloor i\alpha\rfloor=0⌊iα⌋=0,且 ⌊mα⌋=1\lfloor m\alpha\rfloor=1⌊mα⌋=1(因为 α<1\alpha<1α<1 迫使 mα<mm\alpha<mmα<m,而由最小性实际上 mα<2m\alpha<2mα<2,故取整值恰为 111),从而 S(m,α)=1S(m,\alpha)=1S(m,α)=1,它不能被 m≥2m\ge2m≥2 整除。这与所要求的性质矛盾。