Đặt f(x)=x5−x−2 thì f(x) là hàm liên tục trên R.
Dễ kiểm tra rằng f(2)>0 và f(1,1)<0 suy ra PT f(x)=0 luôn có nghiệm thuộc (1,1;2)⊂(1,2).
Giờ gọi nghiệm đó là x0 thì 1<x0<2 và
x50−x0−2=0⇒x50=x0+2⇒x100=(x0+2)2=(x0−2)2+8x0>8x0 vì x0≠2.
Suy ra x100>8x0⇒x90>8⇒ đpcm.