αを無理数とする。
任意の整数 l に対し、l≦mα+n<l+1 となるような整数m、nが存在することを示せ。
但し、αに収束する有理数からなる数列 {r_(s):s=1,2,3,・・・}が存在することを使ってよい。