Du hast recht, das mit dem Betragsterm ist nur ein Teil der nötig ist.
1. Fall bn <= a
Hier nutzt man dass bn >= an gilt. Zusätzlich braucht man aber auch a >= an um den folgenden Term zu bekommen.
$$ a - b_n \leq a - a_n = \vert a_n -a \vert < \epsilon $$
$$ a - a_n = \vert a_n - a \vert \qquad \text{gilt nur wenn} \quad a \geq a_n $$
Das ergibt sich aus
$$ a \geq b_n \geq a_n $$
Für den 2. Fall bn >= a macht man es genau spiegelverkehrt, mit bn <= cn
$$ b_n - a \leq c_n - a = \vert c_n - a \vert < \epsilon $$
$$ c_n -a = \vert c_n - a \vert \qquad \text{gilt nur wenn} \quad a \leq c_n $$
Das ergibt sich aus
$$ a \leq b_n \leq c_n $$
Im Endeffekt sucht man sich eine obere Schranke falls bn grösser als a ist und eine untere Schranke für den anderen Fall.
Ich hoffe, das hat es etwas verständlicher erklärt.
Gruß