>>541
TU4が終わってからというよりTU4で「着手」するだけ
第何弾で完了するとは書いてないトク式帰納法による最適化の証明や、さすが理科大文系学部やね(白目)