X u2264 2 on a