n を固定し k=floor(1999/(n+1)) とする。これは下端 kn-k+1 が 1999 以下となる最大の k である。次の区間の上端 (k+1)n-(k+1)+1 が少なくとも 2000 となることが、1999 が実現不能となる条件であり、これは k(n-1)+n が2000以上であることと同値である。