>>617

> a(n) = ceiling(n(n+1)/6) for n > 5

おお、これが作れるなら最小性の証明できる。
なら話は違うな。
存在証明か…