f(x)=x^3-xとおく
f(x)はR→Rの全射なので任意のa∈Rに対して
f(x)=aとなるxが少なくともひとつ存在する

よって与えられた方程式は実数解を持つ