INTEGERS

-AP自由数列とSzemerédiの定理 を正整数とします。長さの等差数列を含まないような以下の正整数からなる狭義単調増大数列のことをに関する-AP自由数列と呼ぶことにし、に関する-AP自由数列として取り得る最大項数をと定義します。定理 任意の正整数に対して、が成り立つ*1。この定理はSzemerédiの定理と同値です。integers…