なるほど。たしかに不等式でswitchしたい時に大なりが取りたくなるとそうなのか。