2·TAN(x) + 2·√3 ≤ TAN(pi/3) - TAN(x)
2·TAN(x) + 2·√3 ≤ √3 - TAN(x)
3·TAN(x) ≤ - √3
TAN(x) ≤ - √3/3
pi/2 + k·pi < x ≤ 5/6·pi + k·pi
$ 3tan x \le -\sqrt{3}$
$ tan x \le -\frac{\sqrt{3}}{3} \; ⇒ \; -\frac{\pi}{2} + k\pi < x \le - \frac{\pi}{6} + k\pi; \qquad k \in \mathbb{Z}$
La soluzione riportata dal testo è equivalente e si ottiene ponendo k = 1