אכן,
::<math>\frac{b_n}{b_1}=\frac{b_{n+1}}{b_1}\cdot\frac{b_n}{b_n}=\frac{b_{n+1}}{b_n}\cdot\frac{b_n}{b_1}\geq \frac{a_{n+1}}{a_n}\cdot\frac{a_n}{a_1}=\frac{a_na_{n+1}}{a_1}</math>
(את הנחת האינדוקציה קיבלנו בזכות הכפל בקבוע, שכן <math>\frac{a_1}{a_1}=\frac{b_1}{b_1}</math>)