7 4x u2264 3