下界定理

lower bound theorem