-√3 arctan<=3