Hey,

du betrachtest ja ein allgemeinen \( \epsilon \geq 0 \). Und da die Ungleichung für alle \( \epsilon \) gelten soll, mus \( a \) in der Tat 0 sein, da durch deine Voraussetzung ja auch \( \epsilon = 0 \) gelten kann, bzw. für jedes \( a \) größer als 0 sich eben immer ein (sogar unendlich viele) \( \epsilon \) finden lassen, die dann kleiner als \( a \) sind und damit die Voraussetzung verletzen. 

VG
Stefan