Yukarıdaki ilk eşitsizlik ağırlıklı, aritmetik ortalama geometrik ortalama teoremi.Kanıtlamak için Jensen eşitsizliğinden yararlanabilirsiniz f(x)=−lnx seçerseniz f″(x)=1/x2 olurki Pozitif reel sayılarda dışbükey dir. −ln(a1v1+⋯+anvn)≤−v1lna1−⋯−vnlnan elde edilir buda v1lna1+⋯+vnlnan≤ln(a1v1+⋯+anvn) dir.logaritma özellikleri kullanılarak kolayca
ln(av11av22⋯avnn)≤ln(a1v1+⋯+anvn) bu da
a1v1+⋯+anvn≥av11av22⋯avnn
ki istenen eşitsizlik elde edilmiş olur