ｸｲｽﾞ大陸

方針
anを連結した数列は考えにくいので、とりあえずan単体が任意の数列を含まないかを調べます。
ある数Bを含む場合の不等式を立てると証明することが可能です。

13日に正解発表します