unfold使ったこと無いから間違ってたら教えてほしいんだけど
これO(n^4)?