всегда больше либо равен нулю. При умножении положительного числа на отрицательное, всегда будет отрицательное.(В нашем случае получится что отрицательное число больше нуля, а такого быть не может). А при умножении неотрицательного числа на ноль всегда будет ноль. (В нашем неравенстве знак строгий, значит не может равняться нулю).
