n=4n=4n=4 ではステップ4の構成は使えない。小さい最大要素を直接調べると、k=6k=6k=6、すなわち集合 {3,4,5,6}\{3,4,5,6\}{3,4,5,6} がステップ1の評価を満たす唯一の値であることが分かる。666 以外の 444 以上の整数はすべて、333 を超える素数冪因子を持つからである。