Έστω
ένας θετικός ακέραιος, και
που ικανοποιούν τις επόμενες ιδιότητες:α)

, καιβ) ο αριθμός των τρόπων που μπορούμε να επιλέξουμε
ώστε
είναι μεγαλύτερος ή ίσος του
.Να βρείτε, συναρτήσει του
, την μέγιστη τιμή που μπορεί να πάρει ο λόγος:
.
έχουμε
Επομένως είτε
, είτε
.
, τότε για κάθε
έχουμε
ή
. Μπορούμε λοιπόν να υποθέσουμε ότι
από τους αριθμούς είναι ίσοι με
και οι άλλοι
είναι ίσοι με
. Η συνθήκη (β) μας λέει ότι
. Αναγκαστικά λοιπόν πρέπει
. (Μπορεί να δειχθεί ότι
αλλά δεν θα το χρησιμοποιήσουμε.)

λαμβάνεται όταν έχουμε και ισότητα στην Cauchy-Schwarz. Δηλαδή όταν 
...)