原文:贝尔不等式的推导过程