↑ありがとうございます

いえ、そこはわかるんですよ

a１≦a2＜a3≦a4となる芽の出方

(１≦）a1＜a2＋１＜a3＋１＜a4＋２（≦８）
と同値

なぜ、上の不等式が下の不等式と同値かというのが