0169132人目の素数さん
2020/08/08(土) 21:50:07.82ID:jDA9GDtWhttps://mathtrain.jp/szekeres より
Erdos-Szekeresの定理:a,b を正の整数とする。各項が相異なる長さ ab+1 の数列があるとき,以下の二つのうち少なくとも一つは必ず存在する。
1:長さ a+1 の部分列で,単調増加なもの
2:長さ b+1 の部分列で,単調減少なもの
a=b=3 とすることで、各項が相異なる長さ10の数列には長さ4の単調増加または単調減少な部分列が存在することが分かる
よって、7枚抜く必要がある並びは存在しない