いずれも2nより大きくないn+1個の整数列{ak}のなかに、一方がもう一方を割りきる2数がある。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

1＜a1＜a2＜・・・＜an+1＜＝2nとする。

ak＝bk2^iと書き直すとbkは1,3,・・・,2n-1なので、そのうちのどれか一つは等しい。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝