5x 6y u2264