Die Ungleichung gilt nicht einfach so. Beachte die Logik: "Für alle \(\varepsilon\) gibt es ein \(n_0\) so, dass...".
\(\varepsilon\) ist also allgemein vorgegeben. Es muss nun \(n_0\) gefunden werden.
Man definiert(!!!) also \(n_0\) so, dass \(n_0\ge \frac{b²}\varepsilon\). Und damit - weil man das so will - und das geht - gilt die Ungleichung, also per Definition von \(n_0\), für \(n_0\), und damit auch für alle \(n\ge n_0\).