Y u2264 7y 2x 3