Das Archimedische Axiom besagt umgangssprachlich
unter anderem: Es gibt
beliebig große nat. Zahlen. Genauer:
Zu je zwei verschiedenen pos. reellen
Zahlen x < y gibt es eine nat. Zahl n
mit n*x > y
Also insbesondere wenn du x = 1 und y= 1/ (2eps)
wählst dann gibt es ein n mit n*1 > 1/ (2eps)
Denn die ganze Sache ist ja eh nur interessant für
kleine pos. eps also kannst du annehmen, dass
1/ (2eps) > 1 ist.