4x 5 u2264 3 6x