9 8y u2264 1