3 u2264 7x 4 10