Fall 1: an≥0, Dann gilt ∣an∣=an
Also liefert p≤an≤q, dass q eine obere Schranke für ∣an∣ ist.
Fall 2: an<0, Dann gilt ∣an∣=−an
Also liefert p≤an≤q die Ungleichung
(Zeichen umdrehen !) −p≥−an≥−q
oder auch −q≤∣an∣≤−p
Also ist -p eine obere Schranke für ∣an∣ ist.
Mit K = max{q, -p } ist also die Def. erfüllt.