次の式で与えられる "w" はフレシェ-ヘフディング下界(fréchet-hoeffding lower bound)と呼ばれる。