واضحه كه
توي اون نامساوي صدق مي كنه پس فرض مي كنيم k مثبته. با حالت بندي روي ترتيب
مي تونيم بفهميم كه
هست چون در بقيه حالات سمت راست منفي ميشه. قرار ميديم
. با ساده كردن نامساوي بدست مياد:
پس a بايد از ريشه هاي چند جمله اي بالا بزرگتر باشه كه بدست مياد:
حالا اگه
باشه ميشه a رو تا حدي به b نزديك كرد كه نامساوي برقرار نباشه پس حداقل
هست. حالا بنابر همگن بودن نامساوي فرض مي كنيم
. با ساده كردن نامساوي داريم:
حالا با استفاده از شرطي كه گذاشتيم بدست مياد:
از طرف ديگه داريم:
با جايگذاري اين رابطه در رابطه ي قبل بدست مياد:
كه صحيح است پس حداكثر
هست.