X 5 3x u2264 2x 1