Question

$\sqrt{3} *(\pi /4-x)\geq -1$

Answer 1

$\sqrt3\cdot (\frac{\pi}{4}-x)\geq -1\\\\\frac{\pi}{4}-x\geq -\frac{1}{\sqrt3}\\\\x\leq \frac{\pi}{4}+\frac{1}{\sqrt3}\\\\x\in (-\infty \; ;\frac{\pi }{4}+\frac{1}{\sqrt3}\; ]$

P.S.  А может, условие было таким:   $\sqrt3\cdot tg(\frac{\pi}{4}-x)\geq -1$  ?