4つの場合を合わせるとすべての実数がカバーされるので、候補の消去方法は本当に実数解を持たず、下界と一致する。
すべての実数 xxx は、場合1（整数 1,…,20161,\dots,20161,…,2016）、場合2（ブロック境界付近）、場合3（外側の遠方、または2つのブロックの間）、場合4（あるブロックの中央）のいずれかちょうど1つに属し、それぞれの場合でステップ2の方程式は成り立たない。したがって、ステップ2の消去（ちょうど 201620162016 個の因子）は実数解を持たない方程式を生み出す。ステップ1の必要性の下界と合わせると、最小の値は k=2016k=2016k=2016 である。