2x 5 u2264 3x 10