Vế trái = a2. (a3 - 1) + 3 - 3a + 2 = a2.[(a-1). (a2 + a + 1)] - 3.(a -1) +2 = (a-1). (a4 + a3 + a2 -3) + 2
= (a-1).[(a4 -1) + (a3 -1) + (a2 -1)] +2
= (a-1). [(a-1).(a+1).(a2 +1) + (a -1).(a2 + a + 1) + (a-1).(a+1)] +2
= (a-1)2. [(a+1).(a2 +1) + (a2 + a + 1) + (a+1)] + 2
Vì a \(\ge\) 0 => (a+1).(a2 +1) + (a2 + a + 1) + (a+1) > 0 ; (a-1)2 \(\ge\) 0
=> Vế trái \(\ge\) 2 > 0
=> ĐPCM