3x 9 5x u2264 x