X y u2264 1 x