Wegen 0<m+nm<1
ist 0 eine untere, 1 eine obere Schranke von M.
Sei 0<ϵ<1. Ich zeige, dass 0+ϵ=ϵ
keine untere Schranke ist, also 0 die größte untere
Schranke von M ist:
Nach dem archimedischen Axiom gibt es eine nat. Zahl n>0 mit
n>m⋅ϵ1−ϵ. Hiermit folgt
m+nm<m+ϵm(1−ϵ)m=ϵ.
Entsprechend wähle n>m⋅1−ϵϵ, um zu zeigen,
dass 1−ϵ keine obere Schranke von M ist,
1 also die kleinste obere Schranke ist.