Use the horizontal line test to decide whether f(x) = x^3 - 3x is injective on R