1 u2264 3x 4 13