Ist inf X > 0 dann gilt: sup X-1=\( \frac{1}{inf X} \)
inf X ist eine untere Schranke für X, also gilt für alle x∈X inf X ≤ x.
Wegen inf X > 0 gilt also für alle x∈X 0 ≤ x und damit auch immer 1/x > 0.
Damit folgt aus inf X ≤ x | * 1/x
1/x * inf X ≤ 1 | * 1/(inf X)
1/x ≤ 1 / ( inf X )
Also ist 1 / ( inf X ) eine obere Schranke für X^{-1} .
Sei y auch eine obere Schranke für X^{-1} , also 1/x ≤ y | * x
==> 1 ≤ y * x
==> 1 / y ≤ x
Damit wäre 1/y eine untere Schranke für X und somit
1/y ≤ inf X weil inf X die größte unt. Schranke ist.
==> 1 ≤ y * inf X
==> 1/ ( inf X) ≤ y
Also ist 1/ ( inf X) die kleinste obere Schranke für X^{-1}
und damit das Supremum von X^{-1} .