می توان فرض کرد
.تعریف کنید
و به راحتی نتیجه می شود که این تابع دارای تقعر رو به بالا در
است.حال نامساوی هم ارز است با :
[center:879f516ecc]
که چون
از ینسن نتیجه می شود :
[/center:879f516ecc][center:879f516ecc]
کافیست که ثابت شود :
حال با جای گذاری
و به همین ترتیب برای b و c باید ثابت کرد :
که همان AM-GM هست.
[/center:879f516ecc]