4x 9 u2264 u2212 11