推 zombiea:先考慮na dense in (0,1) 218.175.92.177 07/23
→ zombiea:exist n>0 minimum such that na>1 (n-1)a<1 218.175.92.177 07/23
→ zombiea:set na-1=a_1 consider ma_1 again 218.175.92.177 07/23
→ zombiea:一開始改成na mod 1 dense in (0,1) 218.175.92.177 07/23
→ zombiea:continue this manner Q.E.D 218.175.92.177 07/23