Solve for xxx: x3−xge0x^3 - x \\ge 0x3−xge0
xge1x \\ge 1xge1
−1lexle0-1 \\le x \\le 0−1lexle0 or xge1x \\ge 1xge1
xle−1x \\le -1xle−1 or xge0x \\ge 0xge0
xge0x \\ge 0xge0