X3 3x 2 u2264 0