Maksat bir üst sınır olsun.
n≥k≥2 bir tam sayı olmak üzere, aritmetik-geometrik ortalama ilişkisini k tane n1/k ve n−k tane 1 için uygularsak n1/n≤n−k+kn1/kn=1−k⋅n−1+k⋅n−1+1k eşitsizliği sağlanır.
k=2 gibi sabit bir sayı seçmemiz yeteri. Daha verimli bir üst sınır için k değeri daha büyük alınabilir.