Dana nejednakost je ekvivalentna sa
1+x52+2x5−x−x2−x3−x4≥0.
Kako je 1+x5>0 za x>−1 dovoljno je dokazati nejednakost
S=2+2x5−x−x2−x3−x4≥0.
Imamo:
S=(1−x)+(1−x2)+(x5−x3)+(x5−x4)=(1−x)+(1−x2)+x3(x2−1)+x4(x−1)=(1−x)(1−x4)+(1−x2)(1−x3)=(1−x)(1−x2)(1+x2)+(1−x2)(1−x)(1+x+x2)=(1−x)(1−x2)(2+x+2x2)=(1−x)2(1+x)(2x2+x+2).
Sada je očito da je za svaki x>−1 izraz S prikazan kao produkt nenegativnih faktora, pa je S≥0, što je i trebalo dokazati.