Điều kiện của bất phương trình là x>0.Khi đó, bất phương trình tương đương với √x[x(x−1)2+x]≥x(x−1)3+(x−1)3,
hay [x√x(x−1)2−x(x−1)3]+[x√x−(x−1)3]≥0,
hay x(x−1)2(√x−x+1)+(√x−x+1)[x+(x−1)√x+(x−1)2]≥0,
hay (√x−x+1)[x(x−1)2+x+(x−1)√x+(x−1)2]≥0,
hay √x−x+1≥0.