Đặt x2+2 =a ta có :
a4 + 7a3 + 5a2 - 31a - 30
= a4 + a3 + 6a3 + 6a2 - a2 - a -30a - 30
= (a+1)(a3+6a2-a-30)
= (a+1)(a3+5a2+a2+5a-6a-30)
=(a+1)(a+5)(a2+a-6)
=(a+1)(a+5)(a2-2a+3a-6)
=(a+1)(a+5)(a-2)(a+3)
=(x2+3)(x2+7)(x2)(x2+5)
từng nhân tử lớn hơn không riêng x2 lớn hơn hoặc bằng 0 nên ta có đa thức trên lớn hơn hoặc bằng 0