> Ich verstehe nicht warum n2:=max(n0,n1) ist
Die Voraussetzungen 1) und 3) gelten für n ≥ n0 bzw. für n ≥ n1
Beide gelten also für n ≥ n2:= max(n0,n1) (max = Maximum)
> warum brauch ich epsilon1
Gedanklich ginge es auch ohne die Indizierung ( s * "irgendein ε" ist immer noch "irgendein ε" )
s * ε = ε kann man aber so nicht hinschreiben.