ここで等号が成り立たない場合も起こり得る。