对 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 的素数幂因子。