5 3 6x 3 u2264 2x 7