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