Wolkowicz‑Styan 不等式