ほぼ4log n深さの下界を持つ、上部に制限のある公式に関する研究

上部に制限のある公式に対して、ほぼ4log n深さの下界が存在する。