Θα δείξουμε πρώτα ότι
και ότι η ισότητα στην

ισχύει αν και μόνο αν

.
Θέτουμε
και λύνοντας ως προς

βρίσκουμε
.
Έτσι έχουμε ότι η

ισοδυναμεί με την
δηλαδή με την
Είναι γνωστο ότι αν το γινόμενο κάποιων θετικών αριθμών είναι

τότε το άθροισμα τους είναι μεγαλύτερο ή ίσο του πλήθους τους και η ισότητα ισχύει αν και μόνο αν οι αριθμοί είναι όλοι

. Αυτό προκύπτει από την ανισότητα αριθμητικού-γεωμετρικού μέσου του Cauchy αλλά και ως αυτοτελής πρόταση αποτελεί λήμμα της.
Έτσι έχουμε ότι η

αληθεύει, η ισότητα ισχύει αν και μόνο αν
και επομένως η

αληθεύει και η ισότητα ισχύει αν και μόνο αν

.
Ας υποθέσουμε ότι αληθεύει
. Τότε δύο τουλάχιστον αριθμοι από τους

,

,

είναι διάφοροι και η

ισχύει ως γνήσια ανισότητα. Τότε μπορούμε να βρούμε μια γνησίως φθίνουσα ακολουθία

με όλους τους όρους στο διάστημα
όπου
που να συγκλίνει στο

. Μια επιλογή είναι η
.
Αντιστρόφως αν υπάρχει μη σταθερή ακολουθία

ώστε
αδιάφορο από το αν συγκλίνει στο

θα έχουμε ότι
η

ισχύει ως γνήσια ανισότητα, οι

,

,

δεν είναι μεταξύ τους ίσοι και εξασφαλίζεται η συνθήκη
.