Yes.
here's anotherlook.
Let: G(s):=1/[s*(s+1)];
this wayhe(MathCad Prime 3.0) can:
solve,b,assume,b=real,b>0,float,3
|G(0+1j*b)| =1 ------------------------------------------------------>0.786
butsincethere is no:
solve,s,assume,Re(s)=0,Im(s)>0,float,3
|G(s)| =1 -------------------------------------------------------------->ops!
although the second methodelegant...