Eşitsizliğin sağ tarafı burada gösterilmişti. $$\frac{A(DEF)} {A(ABC)}=\dfrac{2abc}{(a+b)(b+c)(a+c)}$$ olduğu da şurada gösterilmişti. Öyleyse $$\frac{A(DEF)} {A(ABC)}=\dfrac{2abc}{(a+b)(b+c)(a+c)}\ge\dfrac{3abc}{4(a^3+b^3+c^3)}$$ olduğu yani $$8(a^3+b^3+c^3)\ge3(a+b)(b+c)(a+c)$$ olduğu gösterilmelidir. Bu son eşitsizlik de şurada kanıtlandı.