4 x 3 u2264 2 2x