>>457

の

「よって b ≦ x」はひどすぎます。

b ∈ I でないときに、「よって b ≦ x」とだけ書いてすますのはおかしいと思います。