Since x3−x=x(x2−1), we have ∣x3−x∣=∣x∣∣x2−1∣. Factor out:
x∣x∣∣x2−1∣−3x∣x2−1∣=∣x2−1∣⋅x(∣x∣−3).
The factor ∣x2−1∣≥0 vanishes at x=±1; the factor x(∣x∣−3) vanishes at x=0,±3: these are the 5 zeros −3,−1,0,1,3. Since ∣x2−1∣≥0, the sign (for x=±1) equals that of x(∣x∣−3):
- for x>0: x(x−3)>0⟺x>3;
- for x<0: x(−x−3)>0⟺−3<x<0.
Hence the (strict) inequality holds for
−3<x<0 (x=−1) ∨ x>3