3a 7 u2264 16