陶哲轩实分析 习题5.5.3

证明：由题易知下列不等式成立
m/n-m'/n>1/n
m'/n-m/n>1/n
即有|m/n-m'/n|<1/n
于是有|m-m'|<1
那么m=m'，命题得证