Укажите решение неравенства: re(z)<=-1 (множество решений неравенства)
re(z) <= -1
And(z <= -1, -oo < z)
(-oo, -1]