Sei A Teilmenge von IR nicht leer und beschränkt.
Da inf(A) eine untere Schranke ist, gilt für alle a ∈ A inf(A) ≤ a
Da sup(A) eine obere Schranke ist, gilt für alle a ∈ A a ≤ sup(A) .
Da A nicht leer ist, gibt es ein a ∈ A und für dieses gilt dann
inf(A) ≤ a ≤ sup(A) und wegen der Transitivität
der ≤ - Relation also auch inf(A) ≤ sup(A) q.e.d.