上界定理

upper bound theorem