Python/SymPy solving a inequal equation with a complex variable in a absolut function

Question

The task is to plot the set of points which correspond to following equation, assuming that \'z\' is a complex number (a+b*I).