6x 1 2x 2 u2264 7