如果一个概率的结果应用了不等式相关进行证明，在模意义下这个证明是不是失效了？

或者有没有一个等式放在模意义下不成立的？