就是 $a_i \le 4$，这个关键条件没有翻译出来。