5 x 1 u2264 5x 3