最大要素を k=(n−1)(n−2)k=(n-1)(n-2)k=(n−1)(n−2) とする。これは直前の2つの数の積(連続する整数は互いに素なので最小公倍数でもある)である。kkk を割り切るすべての素数冪は n−1n-1n−1 または n−2n-2n−2 を割り切り、いずれも nnn より小さい。したがってステップ1の評価が満たされ、kkk で終わる nnn 個の連続整数の集合は条件を満たす。