Đặt √x = t, x ≥ 0 => t ≥ 0.
Vế trái trở thành: t8 – t5 + t2 – t + 1 = f(t)
Nếu t = 0, t = 1, f(t) = 1 >0
Với 0 < t <1, f(t) = t8 + (t2 - t5)+1 - t
t8 > 0, 1 - t > 0, t2 - t5 = t3(1 – t) > 0. Suy ra f(t) > 0.
Với t > 1 thì f(t) = t5(t3 – 1) + t(t - 1) + 1 > 0
Vậy f(t) > 0 ∀t ≥ 0. Suy ra: x4 - √x5 + x - √x + 1 > 0, ∀x ≥ 0