Non riesco a risolvere questa disequazione

La diseguaglianza d'ordine è lasca: serve distinguere l'eguaglianza, ma che ci vuole?
Il secondo membro è già zero.
Il primo membro è già un polinomio monico.
Resta solo da fattorizzarlo, e qui casca l'asino: devi aver trascritto fischi per fiaschi!
Infatti gli zeri del primo membro (uno reale ~= - 4.66, due complessi coniugati) non si calcolano facilmente, ma richiedono le formule di Tartaglia.
* x^3 + 3*x^2 - 6*x + 8 <= 0 ≡
≡ (x + 1)^3 - 9*(x + 1) + 16 <= 0 ≡
≡ u^3 - 9*u + 16 <= 0 ≡
≡ (u^3 - 9*u + 16 = 0) oppure (u^3 - 9*u + 16 < 0) ≡
≡ (u = U) oppure (zeri non reali) oppure (u < U) ≡
≡ (u <= U) oppure (zeri non reali)
dove
* U = - (3 + (8 - √37)^(2/3))/(8 - √37)^(1/3)