Hallo,
die Behauptung ist: \(r_n \to \infty\). Wir nehmen an, dies sei falsch. Dann existieren Teilfolgen, die wir einfach auch mit \(q_n,r_n\) bezeichnen, so dass \(q_n/r_n \to x\) und \(r_n \leq N\)
Für ein festes r gibt es nur endliche viele mögliche Zähler q, nämlich höchstens 0,1,2,...,r. Folglich ist
$$0< \min\{|q/r-x| \mid r\leq N \text{ mit zulässigem } q\}$$
Das ist ein Widersprich zu \(q_n/r_n \to x\) und \(r_n \leq N\)
Gruß Mathhilf