arcctg( (x+3)/x ) > arcctg(-1)