3 1 4x u2264 9x 5