9 \le 4