いずれも2nより大きくないn+1個の整数列{ak}のなかに、どの２数の最小公倍数も2nより大きくなるものがあるとする。

このとき、n個の数はすべて2n/3より大きい。

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

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

a1＜2n/3と仮定すると、2a1,3a1,a2,a3,・・・,akは2以上2ｎ以下のｋ+1個の整数である。

したがって（その１）よりk+1＜=nがわかる

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