Модуль числа |m| всегда неотрицателен. Если m положительно, то |m| = m, и неравенство |m| > m неверно. Если m равно нулю, то |m| = 0, и неравенство |m| > m (0 > 0) неверно. Если m отрицательно, то |m| = -m, и неравенство -m > m верно. Следовательно, запись верна для всех отрицательных значений m (m < 0).