不等式
左辺が右辺よりも大きいことを示す。