8x 5x 4 u2264 3 3x