9 u2264 3x 27