測度論に登場する +∞, -∞ のせいでこれらを含む可能性のある四則演算や大小比較を証明する際に、場合分けがいちいち面倒です。
なんかすっきりと切り抜ける方法はないんですか？