贝尔不等式的推导