Fall 1: \( a_{n} \geq 0, \quad \) Dann gilt \( |a_{n}| = a_{n} \)
Also liefert \( p \leq a_{n} \leq q \), dass q eine obere Schranke für \( \left|a_{n}\right| \) ist.
Fall 2: \( a_{n} \lt 0, \quad \) Dann gilt \( |a_{n}| = -a_{n} \)
Also liefert \( p \leq a_{n} \leq q \) die Ungleichung
(Zeichen umdrehen !) \( -p \geq -a_{n} \geq -q \)
oder auch \( -q \leq |a_{n}| \leq -p \)
Also ist -p eine obere Schranke für \( \left|a_{n}\right| \) ist.
Mit K = max{q, -p } ist also die Def. erfüllt.