4 6x u2264 2 2x 3