>>702
どのような実数Mに対してもC>Mとなるような定数Cのことです