最後に得られた k2k^2k2 個を x1,…,xk2x_1,\ldots,x_{k^2}x1,…,xk2 とし、最小値を sss とする。各逆数平方は 1/s21/s^21/s2 以下なので、その和は k2/s2k^2/s^2k2/s2 以下である。